| changeset 705 | 574869103985 |
| parent 515 | 03f27b1381f9 |
| parent 704 | 5ca319a641e1 |
| child 1062 | 6d5a62a549fa |
| 694:51eb248d3348 | 705:574869103985 |
|---|---|
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 |
40 except: |
40 except (OSError, IOError): |
41 raise LockHeld(util.readlock(self.f)) |
41 raise LockHeld(util.readlock(self.f)) |
42 |
42 |
43 def release(self): |
43 def release(self): |
44 if self.held: |
44 if self.held: |
45 self.held = 0 |
45 self.held = 0 |