From 5f13f3c16e5e1a0865b32805b8a1dcbda17ae0bc Mon Sep 17 00:00:00 2001 From: gac-x04sa Date: Tue, 26 Feb 2019 15:11:34 +0100 Subject: [PATCH] Script execution --- script/device/Image.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/script/device/Image.py b/script/device/Image.py index 8083297..b6e328d 100644 --- a/script/device/Image.py +++ b/script/device/Image.py @@ -130,9 +130,9 @@ class Image(DeviceBase, Readable): def get_int(self, filename = None): if filename is None: filename = self.pixel.get_image_filename() - - print "Waiting image file: " + filename + size = 4 * self.pixel.PIX_XDIM, self.pixel.PIX_YDIM + print "Waiting image file: " + filename + " size= " + size wait_for_file_size(filename, size)