Skip to content

Commit

Permalink
Make it more clear what configuration is updated.
Browse files Browse the repository at this point in the history
  • Loading branch information
meisterT committed Mar 23, 2024
1 parent d724f9f commit b6b2281
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion misc-tools/configure-domjudge.in
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down

0 comments on commit b6b2281

Please sign in to comment.