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

Florian Schaal

2014-09-11 aacbd98c0af57001c094aa92ce69902e40fb7ac0

1
ALTER TABLE `shell_user` CHANGE `ssh_rsa` `ssh_rsa` TEXT CHARACTER SET utf8 COLLATE utf8_general_ci NOT NULL;