|
From: <no...@so...> - 2002-04-22 19:24:26
|
Bugs item #547229, was opened at 2002-04-22 14:24 You can respond by visiting: http://sourceforge.net/tracker/?func=detail&atid=438935&aid=547229&group_id=44253 Category: UI: MacOS X-specific Group: Annoying Status: Open Resolution: None Priority: 5 Submitted By: Brian Stoler (brianstoler) Assigned to: Nobody/Anonymous (nobody) Summary: REPL JVM dies after system sleeps Initial Comment: As of drjava-20020415-2112: At least on my iBook/10.1.4/jdk1.3.1, if I close the lid and let it go to sleep for a while, when it wakes up the REPL JVM has died. I think the culprit is the "check if the master JVM is alive every minute" thing. (This is in util.newjvm.AbstractSlaveJVM.) Somehow, after waking up it thinks that it lost contact, while it was really just asleep. Here's a guess on how to work around the problem: Every minute, poll the master JVM to see if it's alive. If it's not, set a flag (masterPossiblyDead), and wait another minute (or maybe less time?) and check again. If it's still dead, then proceed with the exit. Else, abandon the exit. ---------------------------------------------------------------------- You can respond by visiting: http://sourceforge.net/tracker/?func=detail&atid=438935&aid=547229&group_id=44253 |