changeset 134 | 8325a0fc22cd |
parent 83 | 220d76d0d672 |
--- a/libConsole/Console.java +++ b/libConsole/Console.java @@ -1,8 +1,10 @@ +import java.io.File; + public class Console { public static native int getch (); private static void help () { String p = System.getProperty ("java.library.path"); - String[] msg = p.split (":"); + String[] msg = p.split (File.pathSeparator); System.err.printf ("Console Error:%n"); for (int i = 0; i < msg.length; i++)