Changeset 9803fb in git

Timestamp:

Mar 7, 2011, 8:04:21 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8d54773d6c9e2f1d2593a28bc68b7eeab54ed529')

Children:

bc007847ef64b32ef79b423215ff1b9d01546d05

Parents:

42e13ce626510238bcaf002a107a8127192cbe99

Message:

crash handling in childs

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

File:

• Singular/cntrlc.cc (modified) (1 diff)

Singular/cntrlc.cc

@@ -207 +207 @@
 #endif /* __OPTIMIZE__ */
 #ifdef CALL_GDB
-  if (sig!=SIGINT) debug(INTERACTIVE);
+  if (sig!=SIGINT) 
+  {
+    if (singular_in_batchmode) debug(STACK_TRACE);
+    else                       debug(INTERACTIVE);
+  }
 #endif /* CALL_GDB */
   exit(0);