From 0bf8d3b2f9d38051b58debadf5978ccc00c5fd1b Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 1 Oct 2009 06:46:38 +0000
Subject: [PATCH] add sandbox support

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

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);
 
-- 
2.34.1