From 920bf322f1243ec98b4f66a9141112d24ac0e638 Mon Sep 17 00:00:00 2001
From: Tomas Stupka <tomas.stupka@oracle.com>
Date: Tue, 22 Aug 2017 12:53:28 +0200
Subject: [PATCH] avoid jline.console.UserInterruptException
---
.../src/com/oracle/truffle/r/launcher/JLineConsoleHandler.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/com.oracle.truffle.r.launcher/src/com/oracle/truffle/r/launcher/JLineConsoleHandler.java b/com.oracle.truffle.r.launcher/src/com/oracle/truffle/r/launcher/JLineConsoleHandler.java
index fc2f1e2e3b..e3c4cee27e 100644
--- a/com.oracle.truffle.r.launcher/src/com/oracle/truffle/r/launcher/JLineConsoleHandler.java
+++ b/com.oracle.truffle.r.launcher/src/com/oracle/truffle/r/launcher/JLineConsoleHandler.java
@@ -67,7 +67,8 @@ public class JLineConsoleHandler extends ConsoleHandler {
console.getTerminal().init();
return console.readLine();
} catch (UserInterruptException e) {
- throw e;
+ // interrupted by ctrl-c
+ return "";
} catch (Exception ex) {
throw new RuntimeException(ex);
}
--
GitLab