Spacing fixes. Don't do setServerInfo() in getServerInfo() cause we already reload...
authorsoranzo <soranzo>
Mon, 1 Aug 2005 22:16:15 +0000 (22:16 +0000)
committersoranzo <soranzo>
Mon, 1 Aug 2005 22:16:15 +0000 (22:16 +0000)
commit610558e5c01f27f18e719fbb06e34701ec12e8cd
tree9c388ac1d379541f634ce87d1a831f3282c72ab9
parent3e6ec7b706b17a1d2e9962e87092f35805b6771f
Spacing fixes. Don't do setServerInfo() in getServerInfo() cause we already reload, and also credentials may be wrong.
classes/Misc.php
servers.php