-
Harald Judt authored
For whatever reason, on some machines the clock seems not to update in appropriate regular intervals which results in updates that seem to be 2 seconds apart. Surprisingly, adding a small delay of 10ms seems to solve this. While this is a strange solution, it is also easy and effective, so let's simply do it this way.
72fdfaec