beremiz

use CLOCK_MONOTONIC instead of CLOCK_REALTIME for timer setup

2018-06-01, Andrey Skvortsov
d1536c271866
file isExecutable
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.
#!/bin/sh
LC_ALL=ru_RU.utf-8
export DISPLAY=:42
Xvfb $DISPLAY -screen 0 1280x1024x24 &
sleep 1
ret=0
DELAY=400
KILL_DELAY=$(($DELAY + 30))
timeout -k $KILL_DELAY $DELAY pytest --timeout=10 ./tests/tools
ret=$?
pkill -9 Xvfb
exit $ret