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

Florian Schaal

2014-09-11 aacbd98c0af57001c094aa92ce69902e40fb7ac0

1
2
3
4
5
6
<?php
$module["name"]   = "login";
$module["title"]   = "top_menu_login";
$module["template"]  = "module.tpl.htm";
$module["startpage"]  = "login/index.php";
?>