diff options
Diffstat (limited to 'src/JavaGUI/GFEditor2.java')
| -rw-r--r-- | src/JavaGUI/GFEditor2.java | 8 |
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 + */ |