Undefined variables when no server has been selected and no default server is defined
commit158ce0657a8e9779348bbde43332b6a07ee37886
authorMarc Delisle <marc@infomarc.info>
Sat, 24 Sep 2011 10:17:34 +0000 (24 06:17 -0400)
committerMarc Delisle <marc@infomarc.info>
Sat, 24 Sep 2011 10:17:34 +0000 (24 06:17 -0400)
tree68e8baffb5bc971d19425eb4048fa81234662d91
parent5b2befc1716bfca6b21305a0cb5df6d965eb4c9a
Undefined variables when no server has been selected and no default server is defined
libraries/header_scripts.inc.php