add sandbox support

diff --git a/Robust/src/Runtime/thread.c b/Robust/src/Runtime/thread.c
index b82a6349d877fa866c36b5918543429f0b86a19c..24164e4d54f2fd6fab954473d1515c8e53cb968f 100644 (file)
--- 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);