update everything to naming conventions agreed upon in class last week

[fleet.git] / src / edu / berkeley / fleet / interpreter / Interpreter.java

diff --git a/src/edu/berkeley/fleet/interpreter/Interpreter.java b/src/edu/berkeley/fleet/interpreter/Interpreter.java
index 77605ac..7c0c349 100644 (file)
--- a/src/edu/berkeley/fleet/interpreter/Interpreter.java
+++ b/src/edu/berkeley/fleet/interpreter/Interpreter.java
@@ -104,6 +104,7 @@ public class Interpreter extends Fleet {
                     try {
                         go(fp, instructions);
                     } catch (Exception e) {
+                        if (fp.isTerminated()) return;
                         throw new RuntimeException(e);
                     }
                 }