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();
}
