From d06f41240ba1c757588abe271e36e376ffe5b699 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Wed, 11 May 2005 13:52:06 +0000
Subject: [PATCH] Print more useful erro messages when GF cannot be started.

---
 src/JavaGUI/GFEditor2.java | 8 +++++---
 1 file 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
+       */