[DBx1000] fixed a bug in deadlock detector.
s