private function getServer($selection) { $serverList = getServerList(); // if only one server is defined, it is used if (count($serverList) == 1) { $server = key($serverList); $host = current($serverList); return array($server, $host); } // return a server based on user's selection foreach ($serverList as $server => $host) { if ($server == $selection) { return array($server, $host); } } // check if a custom server is selected if ($selection == '' && ALLOW_CUSTOM_SERVERS) { $address = v($_POST['server_name']); $type = v($_POST['server_type']); $driver = ''; $allowed_types = explode(',', ALLOW_CUSTOM_SERVER_TYPES); switch ($type) { case 'mysql': if (in_array('mysql', $allowed_types)) { $driver = extension_loaded('mysqli') ? 'mysqli' : 'mysql5'; } break; case 'pgsql': $driver = in_array('pgsql', $allowed_types) ? 'pgsql' : ''; break; case 'sqlite': $driver = in_array('sqlite', $allowed_types) ? 'sqlite' : ''; break; } if ($address && $driver) { // found a valid custom server definition, return it $server = array(__('Custom Server'), array('host' => $address, 'driver' => $driver)); return $server; } } // return default server info return $this->getDefaultServer(); }
<div class="auth"> <div> <label><?php echo __('User ID'); ?> :</label><input type="text" name="auth_user" size="30" value="{{LOGINID}}"/> </div> <div> <label><?php echo __('Password'); ?> :</label><input type="password" name="auth_pwd" size="30" /> </div> <?php $serverList = getServerList(); if ($serverList !== false && count($serverList) > 1) { ?> <div> <label><?php echo __('Server'); ?> :</label><select name="server" id="server"> <?php $selServer = v($_REQUEST['server']); foreach ($serverList as $server => $host) { if ($selServer == $server) { echo '<option value="' . htmlspecialchars($server) . '" selected="selected">' . htmlspecialchars($server ? $server : __('Custom Server')) . '</option>'; } else { echo '<option value="' . htmlspecialchars($server) . '">' . htmlspecialchars($server) . '</option>'; } }
</div> </div> '; } elseif ($_GET['page'] == "serverList") { echo ' <div class="panel-heading"> <ol class="breadcrumb"> <li><a>Serwery</a></li> <li class="active">Lista</li> </ol> </div> <div class="panel-body"> '; include_once 'parts/list_server.php'; getServerList(); echo ' </div> </div> '; } elseif ($_GET['page'] == "serverAdd") { echo ' <div class="panel-heading"> <ol class="breadcrumb"> <li><a>Serwery</a></li> <li class="active">Dodaj</li> </ol> </div> <div class="panel-body">
private function getServer($selection) { $serverList = getServerList(); // if only one server is defined, it is used if (count($serverList) == 1) { $server = key($serverList); $host = current($serverList); return array($server, $host); } // return a server based on user's selection foreach ($serverList as $server => $host) { if ($server == $selection) { return array($server, $host); } } // return default server info return $this->getDefaultServer(); }