REPL server: Avoid deprecated '_IOFBF'.
authorLudovic Courtès <ludo@gnu.org>
Sun, 30 Jun 2019 19:41:52 +0000 (21:41 +0200)
committerLudovic Courtès <ludo@gnu.org>
Sun, 30 Jun 2019 19:42:31 +0000 (21:42 +0200)
commit80213804ad219e7bbd273956c0913c294332f065
tree56860a07a0329a8508888e5cb7bea50edb3b098c
parentab2fd70ef1e36c6532128b73082809ef3c056556
REPL server: Avoid deprecated '_IOFBF'.

* module/system/repl/server.scm (drain-input-and-close): Use 'block
instead of _IOFBF.
module/system/repl/server.scm