Reset ping timer when reset command is called
authorGiannis Kosmas <kosmas@lib.uoc.gr>
Wed, 3 Aug 2011 18:41:13 +0000 (21:41 +0300)
committerAdam Dickmeiss <adam@indexdata.dk>
Tue, 9 Aug 2011 07:40:37 +0000 (09:40 +0200)

No differences found