From: bdemsky <bdemsky>
Date: Tue, 29 Aug 2006 09:12:33 +0000 (+0000)
Subject: make debug output optional
X-Git-Tag: preEdgeChange~842
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=fca2baefe151a8f3fd55cb0924cace403ca4eb98;p=IRC.git

make debug output optional
---

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index a48abf6c..65c808d2 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -158,8 +158,10 @@ void flagorand(void * ptr, int ormask, int andmask) {
 
 /* Handler for signals */
 void myhandler(int sig, struct __siginfo *info, void *uap) {
+#ifdef DEBUG
   printf("sig=%d\n",sig);
   printf("signal\n");
+#endif
   longjmp(error_handler,1);
 }
 
@@ -202,7 +204,9 @@ void executetasks() {
       if (setjmp(error_handler)) {
 	/* Recover */
 	int h;
+#ifdef DEBUG
 	printf("Recovering\n");
+#endif
 	genputtable(failedtasks,tpd,tpd);
 	restorecheckpoint(tpd->task->numParameters, taskpointerarray, checkpoint, forward, reverse);
       } else {