/**
* Class to hold various commonly used functions
*
- * $Id: Misc.php,v 1.109 2005/07/31 09:15:06 chriskl Exp $
+ * $Id: Misc.php,v 1.110 2005/08/01 22:16:15 soranzo Exp $
*/
class Misc {
if ($server_id == $info['host'].':'.$info['port']) {
// Automatically use shared credentials if available
if (!isset($info['username']) && isset($_SESSION['sharedUsername'])) {
- $info['username'] = $_SESSION['sharedUsername'];
- $info['password'] = $_SESSION['sharedPassword'];
+ $info['username'] = $_SESSION['sharedUsername'];
+ $info['password'] = $_SESSION['sharedPassword'];
$_reload_browser = true;
- $this->setServerInfo(null, $info, $server_id);
}
return $info;
/**
* Manage servers
*
- * $Id: servers.php,v 1.2 2005/05/02 15:47:24 chriskl Exp $
+ * $Id: servers.php,v 1.3 2005/08/01 22:16:15 soranzo Exp $
*/
// Include application functions
global $misc, $lang, $_reload_browser;
$server_info = $misc->getServerInfo($_REQUEST['logoutServer']);
- $misc->setServerInfo(null,null,$_REQUEST['logoutServer']);
+ $misc->setServerInfo(null, null, $_REQUEST['logoutServer']);
doDefault(sprintf($lang['strlogoutmsg'], $server_info['desc']));
$_reload_browser = true;