[test] ignoring getProperty, when there are no right

mbuzdalov · Nov 24, 2018 · e2700b5 · e2700b5
1 parent 63669b7
commit e2700b5
Showing 1 changed file with 12 additions and 7 deletions.
diff --git a/src/ru/ifmo/testlib/CheckerFramework.java b/src/ru/ifmo/testlib/CheckerFramework.java
@@ -6,6 +6,7 @@
 import java.io.PrintWriter;
 import java.net.URL;
 import java.nio.charset.StandardCharsets;
+import java.security.AccessControlException;
 import java.util.Collections;
 import java.util.Enumeration;
 import java.util.HashMap;
@@ -187,14 +188,18 @@ private static void run(String[] args, int delta, Checker checker) {
         }
 
         int theExitCode = resultAdapter.getExitCodeFor(outcome);
-        String expectedExitCode = System.getProperty(EXPECTED_EXIT_CODE_PROPERTY);
-        if (expectedExitCode != null) {
-            if (String.valueOf(theExitCode).equals(expectedExitCode)) {
-                System.exit(0); // exit codes match
-            } else {
-                System.err.println("Expected exit code is " + expectedExitCode + ", but the actual one is " + theExitCode);
-                System.exit(1); // exit codes did not match
+        try {
+            String expectedExitCode = System.getProperty(EXPECTED_EXIT_CODE_PROPERTY);
+            if (expectedExitCode != null) {
+                if (String.valueOf(theExitCode).equals(expectedExitCode)) {
+                    System.exit(0); // exit codes match
+                } else {
+                    System.err.println("Expected exit code is " + expectedExitCode + ", but the actual one is " + theExitCode);
+                    System.exit(1); // exit codes did not match
+                }
             }
+        } catch (AccessControlException e) {
+            // nop
         }
         System.exit(theExitCode);
     }