Closedown

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

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):