resync-tool: show server_name even if resyncing only one server

Florian Schaal

2014-09-11 aacbd98c0af57001c094aa92ce69902e40fb7ac0

1
2
3
4
5
6
7
8
<?php
 
/*
    The admin.conf.php file contains menu definitions to be displayed in the administration module.
*/
 
 
?>