diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/JavaGUI/GFEditor2.java | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java index e6ca37f5b..d093fcf38 100644 --- a/src/JavaGUI/GFEditor2.java +++ b/src/JavaGUI/GFEditor2.java @@ -521,16 +521,17 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener, if (debug) System.out.println("1 "+result);
}
appendMarked(outputString, -1,-1);
- while ((result.indexOf("newcat")==-1)&&(result.indexOf("<lin ")==-1)){
+
+ while ((result!=null)&&(result.indexOf("newcat")==-1)&&(result.indexOf("<lin ")==-1)){
result = fromProc.readLine();
if (debug) System.out.println("1 "+result);
}
- if (result.indexOf("<lin ")==-1)
+ if ((result!=null)&&(result.indexOf("<lin ")==-1))
formNewMenu();
if (!finished) {
- while ((result.length()==0)||(result.indexOf("<lin ")==-1)) {
+ while ((result!=null)&&((result.length()==0)||(result.indexOf("<lin ")==-1))) {
result = fromProc.readLine();
if (result!=null){
if (debug) System.out.println("10 "+result);
|