| Server IP : 82.208.35.60 / Your IP : 216.73.217.116 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/devel/jline/files/ |
Upload File : |
--- src/src/main/java/jline/ConsoleRunner.java.orig 2007-03-09 16:32:28.000000000 +0100
+++ src/src/main/java/jline/ConsoleRunner.java 2007-09-24 19:22:42.000000000 +0200
@@ -17,6 +17,10 @@
* @author <a href="mailto:mwp1@cornell.edu">Marc Prud'hommeaux</a>
*/
public class ConsoleRunner {
+ private static ConsoleReader reader;
+
+ public static ConsoleReader getReader() { return reader; }
+
public static final String property = "jline.history";
public static void main(final String[] args) throws Exception {
@@ -36,7 +40,7 @@
String mainClass = (String) argList.remove(0);
// setup the inpout stream
- ConsoleReader reader = new ConsoleReader();
+ reader = new ConsoleReader();
if (historyFileName != null) {
reader.setHistory(new History (new File