| changeset 1062 | 6d5a62a549fa |
| parent 705 | 574869103985 |
| child 1530 | abfab59fce79 |
| 1061:fed8d078840b | 1062:6d5a62a549fa |
|---|---|
10 |
10 |
11 class LockHeld(Exception): |
11 class LockHeld(Exception): |
12 pass |
12 pass |
13 |
13 |
14 class lock: |
14 class lock: |
15 def __init__(self, file, wait = 1): |
15 def __init__(self, file, wait=1): |
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.lock() |
19 self.lock() |
20 |
20 |