Print more useful erro messages when GF cannot be started.

1 files changed, 5 insertions, 3 deletions

diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java
index 68f1dc76c..f71210d7c 100644
--- a/src/JavaGUI/GFEditor2.java
+++ b/src/JavaGUI/GFEditor2.java
@@ -588,7 +588,8 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
     { 

         Locale.setDefault(Locale.US);

         try {

-            Process extProc = Runtime.getRuntime().exec(args[0]); 

+            commandPath = args[0];
+            Process extProc = Runtime.getRuntime().exec(commandPath); 

             InputStreamReader isr = new InputStreamReader(

                            extProc.getInputStream(),"UTF8");

                        // extProc.getInputStream());

@@ -607,7 +608,8 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
             GFEditor2 gui = new GFEditor2();

             

         } catch (IOException e) {

-            System.out.println("Could not start " + commandPath);

+            System.out.println("Could not start " + commandPath 
+                               + ": " + e);

         }

     }

 

@@ -2352,4 +2354,4 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
               "Length: "+newLength+" POSITION: "+resultCurrent + " "+resultNew);

           }

         }// focus has a separate position

-       */
\ No newline at end of file
+       */