equal
deleted
inserted
replaced
|
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); |