isWindows flag.

Normand Briere

2019-09-02 c23a2a128cbd5eb94b1a11e3b3a34676cf681135

 Grafreed.java
..
..
@@ -673,6 +673,8 @@
673
673
         PlayWord(word, 1);
674
674
     }
675
675
     
676
+    static boolean isWindows;
677
+    
676
678
     public static void main(String argv[])
677
679
     {
678
680
          String osArch = System.getProperty("os.arch");
..
..
@@ -704,6 +706,7 @@
704
706
             // -Djava.library.path=/Users/nbriere/Projects/shared/lib
705
707
         if (jarfile.charAt(2) == ':')
706
708
         {
709
+            isWindows = true;
707
710
             command = "\"" + javaPath + "\" -Xmx1024m -Djava.library.path=" + jarpath;
708
711
                 // On Windows systems, the path is /C:/
709
712
                 jarfile = jarfile.substring(1, jarfile.length());