When fetching updateInterval, read it as a float not an int.
authorNeal H. Walfield <neal@walfield.org>
Wed, 28 Dec 2011 08:48:30 +0000 (08:48 +0000)
committerYves Marcoz <yves@marcoz.org>
Thu, 29 Dec 2011 03:10:39 +0000 (19:10 -0800)
commit4e4b3e9a9654197b1cbe2d646140474d22ba8662
treed32a0b8a496147afe0928fcd5c441ec1052a0623
parent26bc4de36bf8bbf486111abf7bbc9d18d8d24b30
When fetching updateInterval, read it as a float not an int.

Reported-By: James Hunt
src/config.py