RecordTimer.py: fix parallel recording of the same event on multiple services