equal
deleted
inserted
replaced
20 def __init__(self, repo): |
20 def __init__(self, repo): |
21 self.repo = repo |
21 self.repo = repo |
22 def release(self): |
22 def release(self): |
23 self.repo.unlock() |
23 self.repo.unlock() |
24 self.repo = None |
24 self.repo = None |
|
25 def __enter__(self): |
|
26 return self |
|
27 def __exit__(self, exc_type, exc_val, exc_tb): |
|
28 if self.repo: |
|
29 self.release() |
25 def __del__(self): |
30 def __del__(self): |
26 if self.repo: |
31 if self.repo: |
27 self.release() |
32 self.release() |
28 |
33 |
29 def _serverquote(s): |
34 def _serverquote(s): |