Jon Atkins 7923903544 make the refresh time dependant on the time the previous refresh took to complete, multiplied by a factor (currently times two)
this will ensure that we don't spend most of our time refreshing. also, when the backend servers go slow we naturally back off the refresh rate
2013-08-28 06:19:45 +01:00
..
2013-05-24 16:03:24 +02:00
2013-08-27 21:29:54 +01:00
2013-07-13 14:02:55 +02:00
2013-08-28 06:19:34 +01:00