diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-12-03 20:09:11 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-12-03 20:09:11 -0800 |
| commit | 556decb19a4bcb32daad1569402fcc385d49b1d4 (patch) | |
| tree | 1fdea88574ffd481f4b68776db86bc3d0169ef22 /src/library.js | |
| parent | 3d4a6d6d24fc5a220ba4b32d9bdae069389a084e (diff) | |
fixes for using node as both compiler engine and code running engine. node is now default in settings.py
Diffstat (limited to 'src/library.js')
| -rw-r--r-- | src/library.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/library.js b/src/library.js index ce6152d1..1d296981 100644 --- a/src/library.js +++ b/src/library.js @@ -393,6 +393,7 @@ LibraryManager.library = { }, quit: function() { + if (!FS.init.initialized) return; // Flush any partially-printed lines in stdout and stderr if (FS.streams[2].object.output.buffer.length > 0) FS.streams[2].object.output('\n'.charCodeAt(0)); if (FS.streams[3].object.output.buffer.length > 0) FS.streams[3].object.output('\n'.charCodeAt(0)); |