Fixed bug #529125, making the interactions JVM quit immediately when
DrJava quits. See bug report or commit logs for details.
I still want to release tonight, so please tell me if there are any
reasons not to!
-brian
----------------------------------------------------------------
Brian Stoler home: (713) 520-9017 office: (713) 348-3720
Graduate student, Rice University Department of Computer Science
|
