📄 consolescanner.java
字号:
/** * */package org.mortbay.jetty.plugin.util;import java.io.IOException;import org.mortbay.jetty.plugin.AbstractJettyMojo;public class ConsoleScanner extends Thread { private final AbstractJettyMojo mojo; public ConsoleScanner(AbstractJettyMojo mojo) { this.mojo = mojo; setName("Console scanner"); setDaemon(true); } public void run() { try { while (true) { checkSystemInput(); getSomeSleep(); } } catch (IOException e) { mojo.getLog().warn(e); } } private void getSomeSleep() { try { Thread.sleep(500); } catch (InterruptedException e) { mojo.getLog().debug(e); } } private void checkSystemInput() throws IOException { while (System.in.available() > 0) { int inputByte = System.in.read(); if (inputByte >= 0) { char c = (char)inputByte; if (c == '\n') { restartWebApp(); } } } } /** * Skip buffered bytes of system console. */ private void clearInputBuffer() { try { while (System.in.available() > 0) { // System.in.skip doesn't work properly. I don't know why long available = System.in.available(); for (int i = 0; i < available; i++) { if (System.in.read() == -1) { break; } } } } catch (IOException e) { mojo.getLog().warn("Error discarding console input buffer", e); } } private void restartWebApp() { try { mojo.restartWebApp(false); // Clear input buffer to discard anything entered on the console // while the application was being restarted. clearInputBuffer(); } catch (Exception e) { mojo.getLog().error( "Error reconfiguring/restarting webapp after a new line on the console", e); } }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -