From: Adam Megacz <adam@megacz.com>
Date: Thu, 16 Jul 2009 18:55:55 +0000 (-0700)
Subject: update encoding of ABORT instruction for Marina
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=fa13feb3ce314edbe03840b25fc44a13d7f21050;p=fleet.git

update encoding of ABORT instruction for Marina
---

diff --git a/src/edu/berkeley/fleet/two/FleetTwoFleet.java b/src/edu/berkeley/fleet/two/FleetTwoFleet.java
index 2f9cb5b..c5cae65 100644
--- a/src/edu/berkeley/fleet/two/FleetTwoFleet.java
+++ b/src/edu/berkeley/fleet/two/FleetTwoFleet.java
@@ -108,10 +108,8 @@ public abstract class FleetTwoFleet extends Fleet {
             P_OLC_NONZERO              = new Mask(".010000..............................");
             P_ALWAYS                   = new Mask(".000000..............................");
 
-
-            // use these when Marina gets updated to 07-Jan-2009 version of internal encoding
             HEAD                       = new Mask(".......1.............................");
-            ABORT                      = new Mask("........1............................");
+            ABORT                      = new Mask("........1......1.........000100000001");
             TAIL                       = new Mask(".........1...........................");
 
             // actually "is interruptible"