From 533851d4ef8b3789259de83d7671cca96edd597f Mon Sep 17 00:00:00 2001 From: DmitriyMX Date: Fri, 11 Sep 2015 16:14:22 +0300 Subject: [PATCH] =?UTF-8?q?=D0=98=D0=B7=D0=B1=D0=B0=D0=B2=D0=BB=D0=B5?= =?UTF-8?q?=D0=BD=D0=B8=D0=B5=20=D0=BE=D1=82=20=D0=BA=D0=BB=D0=B0=D1=81?= =?UTF-8?q?=D1=81=D0=B0=20ShellConsoleHandler?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../dmitriymx/shell/ShellConsoleHandler.java | 27 ------------------- 1 file changed, 27 deletions(-) delete mode 100644 src/ru/dmitriymx/shell/ShellConsoleHandler.java diff --git a/src/ru/dmitriymx/shell/ShellConsoleHandler.java b/src/ru/dmitriymx/shell/ShellConsoleHandler.java deleted file mode 100644 index 29ff7e9..0000000 --- a/src/ru/dmitriymx/shell/ShellConsoleHandler.java +++ /dev/null @@ -1,27 +0,0 @@ -package ru.dmitriymx.shell; - -import jline.console.ConsoleReader; - -import java.io.IOException; -import java.util.logging.ConsoleHandler; - -public class ShellConsoleHandler extends ConsoleHandler { - private Shell shell; - - public ShellConsoleHandler(Shell shell) { - super(); - this.shell = shell; - } - - @Override - public synchronized void flush() { - try { - shell.cReader.print(ConsoleReader.RESET_LINE + ""); - shell.cReader.flush(); - super.flush(); - } catch (IOException e) { - e.printStackTrace(); - super.flush(); - } - } -} \ No newline at end of file