diff options
Diffstat (limited to 'files.e')
| -rw-r--r-- | files.e | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/files.e b/files.e index 5bafd9a..9f353c5 100644 --- a/files.e +++ b/files.e @@ -152,7 +152,7 @@ main-input-buffer dup push-input-buffer swap attach-input-buffer-to-file-descriptor - { peek } { interpret } while + { peek -1 != } { interpret } while main-input-buffer buffer-file-descriptor @ sys-close drop ~ Ignore a failed close. |