equal
deleted
inserted
replaced
8 import time |
8 import time |
9 |
9 |
10 |
10 |
11 def reposetup(ui, repo): |
11 def reposetup(ui, repo): |
12 class delayedlockrepo(repo.__class__): |
12 class delayedlockrepo(repo.__class__): |
13 def lock(self): |
13 def lock(self, wait=True): |
14 delay = float(os.environ.get('HGPRELOCKDELAY', '0.0')) |
14 delay = float(os.environ.get('HGPRELOCKDELAY', '0.0')) |
15 if delay: |
15 if delay: |
16 time.sleep(delay) |
16 time.sleep(delay) |
17 res = super(delayedlockrepo, self).lock() |
17 res = super(delayedlockrepo, self).lock(wait=wait) |
18 delay = float(os.environ.get('HGPOSTLOCKDELAY', '0.0')) |
18 delay = float(os.environ.get('HGPOSTLOCKDELAY', '0.0')) |
19 if delay: |
19 if delay: |
20 time.sleep(delay) |
20 time.sleep(delay) |
21 return res |
21 return res |
22 |
22 |