diff src/error.cc @ 4318:115bffcecfd3

[project @ 2003-02-13 05:52:16 by jwe]
author jwe
date Thu, 13 Feb 2003 05:52:16 +0000
parents ccfdb55c8156
children dcdca99fe2f0
line wrap: on
line diff
--- a/src/error.cc	Tue Feb 11 16:10:09 2003 +0000
+++ b/src/error.cc	Thu Feb 13 05:52:16 2003 +0000
@@ -103,6 +103,15 @@
 // The message buffer.
 static OSSTREAM *error_message_buffer = 0;
 
+void
+reset_error_handler (void)
+{
+  error_state = 0;
+  warning_state = 0;
+  buffer_error_messages = false;
+  discard_error_messages = false;
+}
+
 // Warning messages are never buffered.
 
 static void