beremiz

d1536c271866
use CLOCK_MONOTONIC instead of CLOCK_REALTIME for timer setup

CLOCK_REALTIME is a wall clock, that could change back and forth (user
changes system time, winter/summer time, NTP corrections and so on).
For real-time application CLOCK_MONOTONIC should be used, it doesn't
have such jumps.
# those files are used in runtime
# licensed according to LGPL, see COPYING.runtime
images/icostop24.png
images/icoplay24.png
images/brz.png
util/__init__.py
util/paths.py
runtime/WampClient.py
runtime/PLCObject.py
runtime/NevowServer.py
runtime/webinterface.js
runtime/__init__.py
runtime/ServicePublisher.py
runtime/typemapping.py
runtime/loglevels.py
Beremiz_service.py