From 390136e563641b28837a5c246b4d4de9b5604b23 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 15 May 2009 21:15:03 +0000
Subject: [PATCH] small change for better messages

---
 Robust/src/Runtime/thread.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Robust/src/Runtime/thread.c b/Robust/src/Runtime/thread.c
index ebb24df2..3b717dff 100644
--- a/Robust/src/Runtime/thread.c
+++ b/Robust/src/Runtime/thread.c
@@ -115,9 +115,11 @@ transstart:
 }
 
 void threadhandler(int sig, siginfo_t *info, void *uap) {
-#ifdef DEBUG
-  printf("sig=%d\n",sig);
+  printf("We just took sig=%d\n",sig);
   printf("signal\n");
+  printf("To get stack trace, set breakpoint in threadhandler in gdb\n");
+#ifndef MAC
+  backtrace();
 #endif
   threadexit();
 }
-- 
2.34.1