⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 consolescanner.java

📁 是离开的肌肤了卡机是离开的就富利卡及是了的开发及拉考试及的福利科技阿斯利康的肌肤莱卡及时的离开福建阿斯顿发
💻 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 + -