From e4c89b3d2d1f036ec6aff07575a074ea30a30747 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 31 Oct 2010 23:57:50 +0000
Subject: [PATCH] small fix to debug segfaults

---
 src/main/util.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/util.cpp b/src/main/util.cpp
index c59e398f5..eb360818b 100644
--- 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);
     }
-- 
2.30.2