Check if 'servername' key exists

This commit is contained in:
Nicolas Le Goff
2014-03-16 02:11:56 +01:00
parent 26f8e18f61
commit 01aedd3326

View File

@@ -195,8 +195,10 @@ class patch_390alpha9b extends patchAbstract
unset($config['main']['languages']);
}
$config = array_merge(['servername' => $config['main']['servername']], $config);
unset($config['main']['servername']);
if (isset($config['main']['servername'])) {
$config = array_merge(['servername' => $config['main']['servername']], $config);
unset($config['main']['servername']);
}
if (isset($config['task-manager'])) {
$config['main']['task-manager'] = $config['task-manager'];