diff options
author | Richard Ipsum <richard.ipsum@codethink.co.uk> | 2014-03-27 11:13:30 +0000 |
---|---|---|
committer | Richard Ipsum <richard.ipsum@codethink.co.uk> | 2014-03-27 11:13:30 +0000 |
commit | f56259c2ce62c301f0e0f9dd7c85001b45fc8f5c (patch) | |
tree | bdf2e7ad0985212e306d5b970c0999087b81f91b /distbuild/timer_event_source.py | |
parent | 170d81eba0568856401f57ce655ad9881b802d21 (diff) | |
parent | 9cbf777d614b8f240ccaa0203e7e3ba40b487f11 (diff) | |
download | morph-f56259c2ce62c301f0e0f9dd7c85001b45fc8f5c.tar.gz |
Merge branch 'baserock/richardipsum/merge_distbuild'
Conflicts:
morphlib/plugins/deploy_plugin.py
without-test-modules
Reviewed by:
Richard Maw
Lars Wirzenius
Diffstat (limited to 'distbuild/timer_event_source.py')
-rw-r--r-- | distbuild/timer_event_source.py | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/distbuild/timer_event_source.py b/distbuild/timer_event_source.py new file mode 100644 index 00000000..f6141a73 --- /dev/null +++ b/distbuild/timer_event_source.py @@ -0,0 +1,59 @@ +# distbuild/timer_event_source.py -- event source for timer events +# +# Copyright (C) 2014 Codethink Limited +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; version 2 of the License. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License along +# with this program; if not, write to the Free Software Foundation, Inc., +# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.. + + +import time + + +class Timer(object): + + pass + + +class TimerEventSource(object): + + def __init__(self, interval): + self.interval = interval + self.last_event = time.time() + self.enabled = False + + def start(self): + self.enabled = True + self.last_event = time.time() + + def stop(self): + self.enabled = False + + def get_select_params(self): + if self.enabled: + next_event = self.last_event + self.interval + timeout = next_event - time.time() + return [], [], [], max(0, timeout) + else: + return [], [], [], None + + def get_events(self, r, w, x): + if self.enabled: + now = time.time() + if now >= self.last_event + self.interval: + self.last_event = now + return [Timer()] + return [] + + def is_finished(self): + return False + |