#190 fixed PHP notice
This commit is contained in:
parent
711d5b3d77
commit
09bd0720d5
|
@ -124,6 +124,8 @@ else {
|
||||||
$_SESSION["config"] = null;
|
$_SESSION["config"] = null;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
$error_message = null;
|
||||||
|
|
||||||
if (!isset($default_Config->default) || !in_array($default_Config->default, $profiles)) {
|
if (!isset($default_Config->default) || !in_array($default_Config->default, $profiles)) {
|
||||||
$error_message = _('No default profile set. Please set it in the server profile configuration.');
|
$error_message = _('No default profile set. Please set it in the server profile configuration.');
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue