From 77e9fb3d31d19ac2f8e3482f46ac837888566ac9 Mon Sep 17 00:00:00 2001
From: Gravit <gravit.min@ya.ru>
Date: Wed, 22 May 2019 05:53:08 +0700
Subject: [PATCH] =?UTF-8?q?[FIX]=20=D0=9E=D1=81=D1=82=D0=B0=D0=BD=D0=BE?=
 =?UTF-8?q?=D0=B2=D0=BA=D0=B0=20=D0=BF=D0=BE=20Ctrl=20+=20C?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../main/java/ru/gravit/utils/command/JLineCommandHandler.java   | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libLauncher/src/main/java/ru/gravit/utils/command/JLineCommandHandler.java b/libLauncher/src/main/java/ru/gravit/utils/command/JLineCommandHandler.java
index 33f678ed..0a3431cf 100644
--- a/libLauncher/src/main/java/ru/gravit/utils/command/JLineCommandHandler.java
+++ b/libLauncher/src/main/java/ru/gravit/utils/command/JLineCommandHandler.java
@@ -75,6 +75,7 @@ public String readLine() throws IOException {
         try {
             return reader.readLine();
         } catch (UserInterruptException e) {
+            System.exit(0);
             return null;
         }
     }