From a9d62bca84ac9ed509ff709b810f7da1c31f72a8 Mon Sep 17 00:00:00 2001
From: janna <unknown>
Date: Wed, 22 Dec 2004 14:37:46 +0000
Subject: [PATCH] *** empty log message ***

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