| changeset 1559 | 59b3639df0a9 |
| parent 1530 | abfab59fce79 |
| child 1753 | e6e70450edb9 |
| 1554:68ec7b9e09a4 | 1559:59b3639df0a9 |
|---|---|
9 import util |
9 import util |
10 |
10 |
11 class LockHeld(Exception): |
11 class LockHeld(Exception): |
12 pass |
12 pass |
13 |
13 |
14 class lock: |
14 class lock(object): |
15 def __init__(self, file, wait=1, releasefn=None): |
15 def __init__(self, file, wait=1, releasefn=None): |
16 self.f = file |
16 self.f = file |
17 self.held = 0 |
17 self.held = 0 |
18 self.wait = wait |
18 self.wait = wait |
19 self.releasefn = releasefn |
19 self.releasefn = releasefn |