Fix cancellation of quit

oracle · Sep 21, 2018 · 3cd7fd6 · 3cd7fd6
1 parent f3a0556
commit 3cd7fd6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/com.oracle.truffle.r.launcher/src/com/oracle/truffle/r/launcher/REPL.java b/com.oracle.truffle.r.launcher/src/com/oracle/truffle/r/launcher/REPL.java
@@ -253,6 +253,8 @@ private static <T> T run(ExecutorService executor, Callable<T> run) {
         } catch (PolyglotException e) {
             if (e.isExit()) {
                 throw new ExitException(e.getExitStatus());
+            } else if (e.isCancelled()) {
+                throw e;
             }
             throw RMain.fatal(e, "Unexpected error " + e.getMessage());
         } catch (Exception e) {