Bugfix: Don't read the Redis time in a tight loop.

Fixes: #110