diff --git a/scripts/fix_registry_steps_tmp.py b/scripts/fix_registry_steps_tmp.py new file mode 100644 index 000000000..48d1363c2 --- /dev/null +++ b/scripts/fix_registry_steps_tmp.py @@ -0,0 +1,14 @@ +import re + +with open('/tmp/registry_steps_orig.py', 'r') as f: + content = f.read() + +content = content.replace('daemon=False)', 'daemon=True)') +content = content.replace('threading.Barrier(2, timeout=10)', 'threading.Barrier(2, timeout=5)') +content = content.replace('construction_barrier.wait(timeout=10)', 'construction_barrier.wait(timeout=5)') +content = content.replace('entry_barrier.wait(timeout=10)', 'entry_barrier.wait(timeout=5)') + +with open('/tmp/implementation-worker-1777034444/repo/features/steps/registry_thread_safety_steps.py', 'w') as f: + f.write(content) + +print('Done')