mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
Print more useful erro messages when GF cannot be started.
This commit is contained in:
@@ -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
|
||||
*/
|
||||
*/
|
||||
|
||||
Reference in New Issue
Block a user