GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-22 19:22:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

Print more useful erro messages when GF cannot be started.

Browse Source
This commit is contained in:
bringert
2005-05-11 13:52:06 +00:00
parent 310d108097
commit b906b65e34
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/JavaGUI/GFEditor2.java
View File

@@ -588,7 +588,8 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
{ {
Locale.setDefault(Locale.US); Locale.setDefault(Locale.US);
try { try {
Process extProc = Runtime.getRuntime().exec(args[0]); commandPath = args[0];
Process extProc = Runtime.getRuntime().exec(commandPath);
InputStreamReader isr = new InputStreamReader( InputStreamReader isr = new InputStreamReader(
extProc.getInputStream(),"UTF8"); extProc.getInputStream(),"UTF8");
// extProc.getInputStream()); // extProc.getInputStream());
@@ -607,7 +608,8 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
GFEditor2 gui = new GFEditor2(); GFEditor2 gui = new GFEditor2();
} catch (IOException e) { } 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); "Length: "+newLength+" POSITION: "+resultCurrent + " "+resultNew);
} }
}// focus has a separate position }// focus has a separate position
*/ */