Eric Lippmann 0cc54ce34b Refresh session every 10 minutes
Quick and dirty fix.

fixes #10229
2015-11-16 14:19:33 +01:00
..
2013-10-17 19:52:25 +02:00
2015-09-27 16:06:46 +02:00