Menu

Commit [r4199]  Maximize  Restore  History

The revision drops some redundant write locking of the

InteractionsDocument which appears to eliminate a deadlock that was
occuring on recalling the previous line from history. This revision
is a quick fix; the problem warrants further study.

The following files were modified

M src/edu/rice/cs/drjava/model/repl/History.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java

rcartwright 2007-03-02

changed /trunk/drjava/src/edu/rice/cs/drjava/model/repl/History.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java
/trunk/drjava/src/edu/rice/cs/drjava/model/repl/History.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB