diff options
| author | janna <unknown> | 2004-12-22 14:37:46 +0000 |
|---|---|---|
| committer | janna <unknown> | 2004-12-22 14:37:46 +0000 |
| commit | 49e901ec653f34183ec3263b950f79f4e54a8a71 (patch) | |
| tree | 252b79027aae09de2f645274c639f37ee8849d06 /src/JavaGUI | |
| parent | bf022485b33e68737084e9b529cdc33cb663665d (diff) | |
*** empty log message ***
Diffstat (limited to 'src/JavaGUI')
| -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);
|