small fix to debug segfaults

diff --git a/src/main/util.cpp b/src/main/util.cpp
index c59e398f52d010e05eb82f31ec29b4de3849a5e8..eb360818b9fbed5e74cf4ec1ff63997c126fea78 100644 (file)
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -91,7 +91,7 @@ void segv_handler(int sig, siginfo_t* info, void* c) {
     abort();
   } else {
     fprintf(stderr, "Spinning so that a debugger can be connected.\n");
-    fprintf(stderr, "Try:  gdb %s %u\n", progName, getpid());
+    cerr << "Try:  gdb " << progName << " " << getpid() << endl;
     for(;;) {
       sleep(60);
     }