diff --git a/plugins/PuckDetection.java b/plugins/PuckDetection.java index 6195950..38a18e5 100644 --- a/plugins/PuckDetection.java +++ b/plugins/PuckDetection.java @@ -1,6 +1,7 @@ import ch.psi.pshell.device.DeviceBase; import ch.psi.utils.Arr; +import ch.psi.utils.Chrono; import ch.psi.utils.State; import java.io.IOException; import java.util.ArrayList; @@ -10,6 +11,7 @@ import java.util.logging.Level; public class PuckDetection extends DeviceBase{ public static final int PUCKS_NUMBER = 30; final String server; + Chrono chrono; public PuckDetection(String name, String server){ super(name); @@ -55,6 +57,7 @@ public class PuckDetection extends DeviceBase{ Thread thread; + Thread watchDog; @Override protected void doInitialize() throws IOException, InterruptedException{ @@ -64,6 +67,7 @@ public class PuckDetection extends DeviceBase{ for (int i=0; i