equal
deleted
inserted
replaced
202 def __exit__(self, exc_type, exc_value, exc_tb): |
202 def __exit__(self, exc_type, exc_value, exc_tb): |
203 self.release() |
203 self.release() |
204 |
204 |
205 def __del__(self): |
205 def __del__(self): |
206 if self.held: |
206 if self.held: |
207 warnings.warn("use lock.release instead of del lock", |
207 warnings.warn(r"use lock.release instead of del lock", |
208 category=DeprecationWarning, |
208 category=DeprecationWarning, |
209 stacklevel=2) |
209 stacklevel=2) |
210 |
210 |
211 # ensure the lock will be removed |
211 # ensure the lock will be removed |
212 # even if recursive locking did occur |
212 # even if recursive locking did occur |