refill-stdin ( buffer stdin size -- ) (original) (raw)

refill-stdin ( buffer stdin size -- )

Vocabulary
io.backend.unix

Inputs

Outputs
None

Definition

USING: accessors io.buffers kernel libc math unix.ffi ;

IN: io.backend.unix

:: refill-stdin ( buffer stdin size -- )
stdin data>> handle-fd buffer buffer-end size read dup 0 < [
drop errno EINTR =
[ buffer stdin size refill-stdin ] [ throw-errno ] if
] [
size = [ "Error reading stdin pipe" throw ] unless
size buffer buffer+
] if ;