From 83de3dd719db8ad9eca31f002d72ad9cd868b5ff Mon Sep 17 00:00:00 2001 From: Michael Kaufmann Date: Sun, 10 Dec 2023 19:23:58 +0100 Subject: [PATCH] handle unknown distribution if there's a now unsupported distribution selected for the config-templates Signed-off-by: Michael Kaufmann --- admin_configfiles.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/admin_configfiles.php b/admin_configfiles.php index 0770c8a7..35c43975 100644 --- a/admin_configfiles.php +++ b/admin_configfiles.php @@ -60,7 +60,9 @@ if ($userinfo['change_serversettings'] == '1') { if (!empty($distribution)) { if (!file_exists($config_dir . '/' . $distribution . ".xml")) { - Response::dynamicError("Unknown distribution"); + // unknown distribution -> redirect to select a valid distribution for config-templates + Settings::Set('system.distribution', ''); + Response::redirectTo('admin_configfiles.php', ['reselect' => 1]); } // update setting if different