diff options
Diffstat (limited to 'nailgun_launcher/TrapSecurityManager.java')
-rw-r--r-- | nailgun_launcher/TrapSecurityManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nailgun_launcher/TrapSecurityManager.java b/nailgun_launcher/TrapSecurityManager.java index 48e152b..be59671 100644 --- a/nailgun_launcher/TrapSecurityManager.java +++ b/nailgun_launcher/TrapSecurityManager.java @@ -39,7 +39,7 @@ public class TrapSecurityManager extends ProxySecurityManager{ public TrapSecurityManager(){ super(NailgunLauncher.initialSecurityManager); } - + public void checkPermission( Permission permission ){ /* NOTE: is it actually ok, to just make these empty? |