Menu

Commit [r4200]  Maximize  Restore  History

Fixed history navigation deadlock (bug# 1665604). A write-lock was trying to be acquired after a read-lock had already been acquired.

Modified files:
M src/edu/rice/cs/drjava/ui/InteractionsController.java

c45207 2007-03-02

changed /trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsController.java
/trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsController.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB