[DrJava] [ drjava-Bugs-547229 ] REPL JVM dies after system sleeps

[<no...@so...>]

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