1 files changed, 19 insertions, 0 deletions
diff --git a/nailgun_launcher/TrapSecurityManager.java b/nailgun_launcher/TrapSecurityManager.java
new file mode 100644
index 0000000..ed00582
--- /dev/null
+++ b/nailgun_launcher/TrapSecurityManager.java
@@ -0,0 +1,19 @@
+package cbt;
+import java.security.*;
+public class TrapSecurityManager extends SecurityManager{
+  public void checkPermission( Permission permission ){
+    /*
+    NOTE: is it actually ok, to just make these empty?
+    Calling .super leads to ClassNotFound exteption for a lambda.
+    Calling to the previous SecurityManager leads to a stack overflow
+    */
+  }
+  public void checkPermission( Permission permission, Object context ){
+    /* Does this methods need to be overidden? */
+  }
+  @Override
+  public void checkExit( int status ){
+    super.checkExit(status);
+    throw new TrappedExitCode(status);
+  }
+}