| changeset 515 | 03f27b1381f9 |
| parent 503 | c6a2e41c8c60 |
| child 704 | 5ca319a641e1 |
| child 705 | 574869103985 |
| 514:874e577e332e | 515:03f27b1381f9 |
|---|---|
29 except LockHeld, inst: |
29 except LockHeld, inst: |
30 if self.wait: |
30 if self.wait: |
31 time.sleep(1) |
31 time.sleep(1) |
32 continue |
32 continue |
33 raise inst |
33 raise inst |
34 |
34 |
35 def trylock(self): |
35 def trylock(self): |
36 pid = os.getpid() |
36 pid = os.getpid() |
37 try: |
37 try: |
38 util.makelock(str(pid), self.f) |
38 util.makelock(str(pid), self.f) |
39 self.held = 1 |
39 self.held = 1 |