libConsole/Console.java
changeset 134 8325a0fc22cd
parent 83 220d76d0d672
equal deleted inserted replaced
133:f46f9606dbfb 134:8325a0fc22cd
       
     1 import java.io.File;
       
     2 
     1 public class Console {
     3 public class Console {
     2     public static native int getch ();
     4     public static native int getch ();
     3     private static void help () {
     5     private static void help () {
     4         String p = System.getProperty ("java.library.path");
     6         String p = System.getProperty ("java.library.path");
     5         String[] msg = p.split (":");
     7         String[] msg = p.split (File.pathSeparator);
     6         System.err.printf ("Console Error:%n");
     8         System.err.printf ("Console Error:%n");
     7 
     9 
     8         for (int i = 0; i < msg.length; i++)
    10         for (int i = 0; i < msg.length; i++)
     9             System.err.printf ("\t%s%n", msg[i]);
    11             System.err.printf ("\t%s%n", msg[i]);
    10         System.exit (-1);
    12         System.exit (-1);