From: bdemsky <bdemsky>
Date: Thu, 1 Oct 2009 06:46:38 +0000 (+0000)
Subject: add sandbox support
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0bf8d3b2f9d38051b58debadf5978ccc00c5fd1b;p=IRC.git

add sandbox support
---

diff --git a/Robust/src/Runtime/thread.c b/Robust/src/Runtime/thread.c
index b82a6349..24164e4d 100644
--- a/Robust/src/Runtime/thread.c
+++ b/Robust/src/Runtime/thread.c
@@ -166,7 +166,11 @@ void initializethreads() {
   initializeexithandler();
 
   //deprecated use of sighandler, but apparently still works
+#ifdef SANDBOX
+  sig.sa_handler=(void *)errorhandler;
+#else
   sig.sa_handler=(void *)threadhandler;
+#endif
   sig.sa_flags=SA_RESTART;
   sigemptyset(&sig.sa_mask);