diff --git a/config/settings.properties b/config/settings.properties index e8359a2..88fb700 100644 --- a/config/settings.properties +++ b/config/settings.properties @@ -1,4 +1,4 @@ -#Tue Feb 26 15:36:16 CET 2019 -count_time=1.0 +#Tue Feb 26 15:41:50 CET 2019 +count_time=0.1 geometry=fourcv roi=190 45 290 125 diff --git a/script/device/Pixel.py b/script/device/Pixel.py index 5ace531..74c08f4 100644 --- a/script/device/Pixel.py +++ b/script/device/Pixel.py @@ -3,8 +3,7 @@ import os.path class ImageFilename(DeviceBase, Readable, Readable.StringType): def __init__(self, pixel): DeviceBase.__init__(self, "image filename") - self.setParent(pixel) - self.timeout = None + self.setParent(pixel) def read(self): return self.getParent().get_image_filename() @@ -25,7 +24,10 @@ class Pixel(DeviceBase, Readable, Readable.IntegerType): self.threshold2 = 500 self.threshold3 = 8000 self.threshold4 = 100000 - self.exposure_start_time = 0 + self.exposure_start_time = 0 + + self.timeout = None + self._update_header_length() def doInitialize(self):