diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-07-15 13:58:52 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-07-15 13:58:52 -0700 |
commit | 9bf755607fc7a0e7f446a5e2d6c82738d77d876f (patch) | |
tree | e823dd70ffc7f8d44639dd9634c0cdddef53bb15 | |
parent | 71f5ca8d50e0dd61841d67c0b3f8a05cf88c0880 (diff) |
check for isTerminal on the object of the filesystem entry
-rw-r--r-- | src/library.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/library.js b/src/library.js index fb2d990b..c5618b53 100644 --- a/src/library.js +++ b/src/library.js @@ -3183,7 +3183,7 @@ LibraryManager.library = { var flush = function(filedes) { // Right now we write all data directly, except for output devices. if (FS.streams[filedes] && FS.streams[filedes].object.output) { - if (!FS.streams[filedes].isTerminal) { // don't flush terminals, it would cause a \n to also appear + if (!FS.streams[filedes].object.isTerminal) { // don't flush terminals, it would cause a \n to also appear FS.streams[filedes].object.output(null); } } |