Skip to content

Commit 8fd1634

Browse files
committed
Remove the exit functionality, securitymanager is deprecated
1 parent f98cce7 commit 8fd1634

File tree

10 files changed

+0
-372
lines changed

10 files changed

+0
-372
lines changed

integration-tests/system-exit/config.json

Lines changed: 0 additions & 4 deletions
This file was deleted.

integration-tests/system-exit/evaluation/Interference.java

Lines changed: 0 additions & 28 deletions
This file was deleted.

integration-tests/system-exit/evaluation/TestSuite.java

Lines changed: 0 additions & 11 deletions
This file was deleted.

integration-tests/system-exit/evaluation/Unaware.java

Lines changed: 0 additions & 21 deletions
This file was deleted.

integration-tests/system-exit/evaluation/Usage.java

Lines changed: 0 additions & 26 deletions
This file was deleted.

integration-tests/system-exit/result.json

Lines changed: 0 additions & 215 deletions
This file was deleted.

integration-tests/system-exit/submission.java

Lines changed: 0 additions & 13 deletions
This file was deleted.

src/dodona/junit/ExitException.java

Lines changed: 0 additions & 16 deletions
This file was deleted.

src/dodona/junit/JUnitJSON.java

Lines changed: 0 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -26,40 +26,9 @@ public static void main(String... args) {
2626

2727
Locale.setDefault(Locale.Category.FORMAT, new Locale("en_US_POSIX"));
2828

29-
NoExitSecurityManager sm = new NoExitSecurityManager(System.getSecurityManager());
30-
System.setSecurityManager(sm);
3129
JUnitCore core = new JUnitCore();
3230
core.addListener(new JSONListener());
3331
core.run(new Class<?>[] { testSuite });
34-
System.setSecurityManager(sm.getPrevious());
35-
}
36-
37-
private static class NoExitSecurityManager extends SecurityManager {
38-
private Optional<SecurityManager> previous;
39-
40-
public NoExitSecurityManager(SecurityManager previous) {
41-
this.previous = Optional.ofNullable(previous);
42-
}
43-
44-
@Override
45-
public void checkPermission(Permission perm) {
46-
previous.ifPresent(sm -> sm.checkPermission(perm));
47-
}
48-
49-
@Override
50-
public void checkPermission(Permission perm, Object context) {
51-
previous.ifPresent(sm -> sm.checkPermission(perm, context));
52-
}
53-
54-
@Override
55-
public void checkExit(int status) {
56-
super.checkExit(status);
57-
throw new ExitException(status);
58-
}
59-
60-
public SecurityManager getPrevious() {
61-
return previous.orElse(null);
62-
}
6332
}
6433

6534
}

0 commit comments

Comments
 (0)