public function __construct(ExternalServerPool $externalServerPool, SearchKey $searchKey)
{
if ($searchKey->getOption()) {
// Options are not supported.
return;
}
$this->serverPool = $externalServerPool;
$this->serverPoolArray =& $externalServerPool->toArray();
$this->scriptRequest = self::scriptRequest($searchKey);
$localServer = new LocalServer();
$this->acceptServers = $localServer->acceptSuggestedServers();
if ($this->hasServer(0)) {
$this->startNextQueries();
}
}
if (sizeof($_POST)) {
AdminServers::reload();
}
$output = new Output();
$template = Template::fromFile('view/admin_servers.html');
$template->assign('localServerName', $localServer->name());
if ($localServer->isEmpty() || AdminServers::$editName) {
$template->addSubtemplate('defineName');
} else {
$sub = $template->addSubtemplate('listServers');
if ($localServer->rememberNewServers()) {
$sub->addSubtemplate('rememberingServers');
} else {
$sub->addSubtemplate('notRememberingServers');
}
if ($localServer->acceptSuggestedServers()) {
$sub->addSubtemplate('acceptingSuggestedServers');
} else {
$sub->addSubtemplate('notAcceptingSuggestedServers');
}
$activeServers = ExternalServerPool::whiteServerPool();
$sub->assign('numOfActive', $activeServers->size());
foreach ($activeServers->toArray() as $server) {
$a = $sub->addSubtemplate('activeListEntry');
$a->assign('url', $server->getUrl());
$a->assign('name', $server->getName());
$a->assign('group', $server->getDistanceGroup());
}
$unknownServers = ExternalServerPool::unknownServerPool();
$sub->assign('numOfUnknown', $unknownServers->size());
foreach ($unknownServers->toArray() as $server) {
