]> gitweb.factorcode.org Git - factor.git/commitdiff
system: flush so we get the same behavior on windows and unix.
authorDoug Coleman <doug.coleman@gmail.com>
Thu, 15 Mar 2018 22:26:51 +0000 (17:26 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Thu, 15 Mar 2018 22:26:51 +0000 (17:26 -0500)
Related to #1918.

core/system/system.factor

index 99628b2b69d14855465f45adcccd318322378757..a694d074fffe0b5144c1dce165c0ab9003bacfae 100644 (file)
@@ -80,5 +80,5 @@ PRIVATE>
 
 : exit ( n -- * )
     [ do-shutdown-hooks (exit) ] ignore-errors
-    [ "Unexpected error during shutdown!" print ] ignore-errors
+    [ "Unexpected error during shutdown!" print flush ] ignore-errors
     255 (exit) ;