allow empty servers (Fixes: #3874)

Florian Schaal

2016-05-04 cc08f2c13f7155d6f3fb11afa7661aaec676858a

 interface/web/help/index.php

@@ -13,4 +13,4 @@
  <p>&nbsp;</p>
</div>
</BODY>
</HTML>
</HTML>