Changeset 5046ce in git

Timestamp:

Jul 15, 2010, 2:40:52 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

aba0dbfad4d9cca535bcef01a1537e91b6e1c218

Parents:

1b38b2391b5a944974b608cc5393af21566eca34

Message:

WerrorS_callback

git-svn-id: file:///usr/local/Singular/svn/trunk@13013 2c84dea3-7e68-4137-9b89-c4e89433aadc

Location:

kernel

Files:

• febase.cc (modified) (2 diffs)
• febase.h (modified) (1 diff)

kernel/febase.cc

@@ -64 +64 @@
 
 const char feNotImplemented[]="not implemented";
+
+void (*WerrorS_callback)(const char *s) = NULL;
 
 int feProt = FALSE;
@@ -937 +939 @@
 #endif
     {
-      fwrite("   ? ",1,5,stderr);
-      fwrite((char *)s,1,strlen((char *)s),stderr);
-      fwrite("\n",1,1,stderr);
-      fflush(stderr);
+      if (WerrorS_callback == NULL) {
+        fwrite("   ? ",1,5,stderr);
+        fwrite((char *)s,1,strlen((char *)s),stderr);
+        fwrite("\n",1,1,stderr);
+        fflush(stderr);
+      } else {
+        WerrorS_callback(s);
+      }
       if (feProt&PROT_O)
       {

kernel/febase.h

@@ -133 +133 @@
 #endif
 
+
+extern void (*WerrorS_callback)(const char *s);
+
 void    Werror(const char *fmt, ...) __attribute__((format(printf,1,2)));
 void    WerrorS(const char *s);