equal
deleted
inserted
replaced
1211 |
1211 |
1212 if (self.ui.configbool('devel', 'all') |
1212 if (self.ui.configbool('devel', 'all') |
1213 or self.ui.configbool('devel', 'check-locks')): |
1213 or self.ui.configbool('devel', 'check-locks')): |
1214 l = self._lockref and self._lockref() |
1214 l = self._lockref and self._lockref() |
1215 if l is not None and l.held: |
1215 if l is not None and l.held: |
1216 msg = '"lock" taken before "wlock"\n' |
1216 msg = '"wlock" acquired after "lock"\n' |
1217 if self.ui.tracebackflag: |
1217 if self.ui.tracebackflag: |
1218 util.debugstacktrace(msg, 1) |
1218 util.debugstacktrace(msg, 1) |
1219 else: |
1219 else: |
1220 self.ui.write_err(msg) |
1220 self.ui.write_err(msg) |
1221 |
1221 |