server/serverctl.py
Tue, 07 Jul 2015 14:13:10 +0200 Julien Cristau [serverct] call server_{maintenance,shutdown} hooks around source-sync command
Tue, 07 Jul 2015 14:12:46 +0200 Julien Cristau [serverctl] call server_{maintenance,shutdown} hooks around add-source
Mon, 06 Jul 2015 17:15:24 +0200 Julien Cristau [serverctl] fix source-sync command
less more (0) -100 -30 -10 -3 tip