Fix handling of 'type' for different ordering. #1738

This commit is contained in:
Clinton Hall 2020-04-21 10:46:32 +12:00 committed by GitHub
commit 0f393a0a26
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -200,6 +200,7 @@ def process(section, dir_name, input_name=None, failed=False, client_agent='manu
del fork_params['quiet'] del fork_params['quiet']
if param == 'type': if param == 'type':
if 'type' in fork_params: # only set if we haven't already deleted for 'failed' above.
fork_params[param] = 'manual' fork_params[param] = 'manual'
if 'proc_type' in fork_params: if 'proc_type' in fork_params:
del fork_params['proc_type'] del fork_params['proc_type']