Changeset d7e6e0 in git for Singular/cntrlc.cc

Timestamp:

Aug 20, 2010, 11:17:49 AM (14 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

97a5e6810cefcfc47395cc3b04716d507c5df498

Parents:

839a71794133d531e81d3518844ec4c1ef600d11

Message:

feVersionId: now via svnversion

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

File:

• Singular/cntrlc.cc (modified) (3 diffs)

Singular/cntrlc.cc

@@ -173 +173 @@
 void sigsegv_handler(int sig, sigcontext s)
 {
-  fprintf(stderr,"Singular : signal %d (v: %d/%u):\n",sig,SINGULAR_VERSION,feVersionId);
+  fprintf(stderr,"Singular : signal %d (v: %d/%s):\n",sig,SINGULAR_VERSION,feVersionId);
   if (sig!=SIGINT)
   {
@@ -256 +256 @@
 void sigsegv_handler(int sig, int code, struct sigcontext *scp, char *addr)
 {
-  fprintf(stderr,"Singular : signal %d, code %d (v: %d/%u):\n",
+  fprintf(stderr,"Singular : signal %d, code %d (v: %d/%s):\n",
     sig,code,SINGULAR_VERSION,feVersionId);
   if ((sig!=SIGINT)&&(sig!=SIGABRT))
@@ -302 +302 @@
 void sigsegv_handler(int sig)
 {
-  fprintf(stderr,"Singular : signal %d (v: %d/%u):\n",
+  fprintf(stderr,"Singular : signal %d (v: %d/%s):\n",
     sig,SINGULAR_VERSION,feVersionId);
   if (sig!=SIGINT)