From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 30 May 2012 07:23:38 +0000 (-0700)
Subject: check in message
X-Git-Tag: pldi2013~391^2~56
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7962faac2edf30977bf5c837e0452c2accb23789;p=model-checker.git

check in message
---

diff --git a/snapshot.cc b/snapshot.cc
index e8fdadb..4d71bab 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -156,6 +156,10 @@ void initSnapShotLibrary(unsigned int numbackingpages,
 	addMemoryRegionToSnapShot(pagealignedbase, numheappages);
 	entryPoint();
 #else
+	//SUBRAMANIAN: WHY IS THIS SIGNAL HANDLER HERE FOR THE FORK BASED APPROACH????
+	//IT LOOKS LIKE SOME CODE WAS REMOVED FROM SIGNAL HANDLER...
+	//IN ANY CASE, DO NOT REUSE THE HANDLEPF CALL!!!!
+
 	//add a signal to indicate that the process is going to terminate.
 	struct sigaction sa;
 	sa.sa_flags = SA_SIGINFO | SA_NODEFER | SA_RESTART;