From b6b22816b2c1f9f074aa6a4de4181cd76ab72008 Mon Sep 17 00:00:00 2001 From: Tobias Werth Date: Sat, 23 Mar 2024 14:18:52 +0100 Subject: [PATCH] Make it more clear what configuration is updated. --- misc-tools/configure-domjudge.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc-tools/configure-domjudge.in b/misc-tools/configure-domjudge.in index 9f649686e8..756453e497 100755 --- a/misc-tools/configure-domjudge.in +++ b/misc-tools/configure-domjudge.in @@ -130,7 +130,7 @@ if os.path.exists('languages.json'): dj_utils.upload_file(f'languages/{langid}/executable', 'executable', f'executables/{langid}.zip') for langid in executables: os.remove(f'executables/{langid}.zip') - if dj_utils.confirm(' - Upload configuration changes?', True): + if dj_utils.confirm(' - Upload language configuration changes?', True): actual_config = _keyify_list(dj_utils.upload_file(f'languages', 'json', f'languages.json')) diffs, new_keys, missing_keys = compare_configs( actual_config=actual_config,