From 4d72cf19dedfd25f8b8cfb50906e8b73b843832e Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Mon, 27 Oct 2008 07:33:10 +0100
Subject: [PATCH] implement fpga.Client.getDebugDock()

---
 src/edu/berkeley/fleet/fpga/Client.java |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/edu/berkeley/fleet/fpga/Client.java b/src/edu/berkeley/fleet/fpga/Client.java
index 9a53410..a642b74 100644
--- a/src/edu/berkeley/fleet/fpga/Client.java
+++ b/src/edu/berkeley/fleet/fpga/Client.java
@@ -7,6 +7,7 @@ import java.net.*;
 import edu.berkeley.fleet.util.*;
 import java.util.*;
 import java.util.concurrent.*;
+import static edu.berkeley.fleet.two.FleetTwoFleet.*;
 import static edu.berkeley.fleet.api.Instruction.Set.*;
 import static edu.berkeley.fleet.api.Predicate.*;
 import static edu.berkeley.fleet.api.Instruction.*;
@@ -29,7 +30,7 @@ public class Client extends FleetProcess {
                                     
     public Fleet getFleet() { return fpga; }
     public Dock getDebugInputDock() {
-        throw new RuntimeException();
+        return fpga.getShip("Debug",0).getDock("in");
     }
     public BitVector readWord() {
         if (isTerminated())
-- 
1.7.10.4