New GAP-level var ERROR_OUTPUT for '*errout*'

This commit introduces a new global variable ERROR_OUTPUT. As a next step one can make it possible to change the targets of the magic strings "*stdout*", "*stdin*", and "*errout*", as suggested by @fingolfin in gap-system#1815. See gap-system#2822.
ssiccha · Mar 27, 2019 · 633976e · 633976e
1 parent 0010e18
commit 633976e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/lib/error.g b/lib/error.g
@@ -18,6 +18,10 @@ CallAndInstallPostRestore( function()
     ASS_GVAR( "QUITTING", false );
 end);
 
+#############################################################################
+##
+## Default stream for error messages.
+ERROR_OUTPUT := "*errout*";
 
 #############################################################################
 ##