From 633976e5816d7f7f6388b674ec61ac6ab490430a Mon Sep 17 00:00:00 2001
From: Sergio Siccha <sergio.siccha@gmail.com>
Date: Tue, 18 Sep 2018 14:10:08 +0200
Subject: [PATCH] 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 #1815. See #2822.
---
 lib/error.g | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/error.g b/lib/error.g
index ff636977d1..b344d2d71a 100644
--- 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*";
 
 #############################################################################
 ##