Torbjörn Andersson b97c9ef136 Work around bug #1324106 again. Apparently, I was mistaken the other day when I
said the timer changes fixed it. This time, I've made the workaround a bit
simpler to understand, though.

svn-id: r30429
2008-01-11 22:59:13 +00:00
..