[DrJava] [ drjava-Bugs-529125 ] Close second JVM on quit

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

Bugs item #529125, was opened at 2002-03-12 21:16
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=529125&group_id=44253

Category: Interactions
Group: Would be nice if fixed ...
Status: Open
Resolution: None
Priority: 5
Submitted By: Charles Reis (csreis)
Assigned to: Charles Reis (csreis)
Summary: Close second JVM on quit

Initial Comment:
The JVM used in the interactions window currently does
not quit when DrJava quits, and instead closes itself
once it notices that DrJava is gone.  This is because
the main JVM has a simple check to restart the
interactions JVM if it notices that it has died, so
the interactions JVM would be automatically restarted
when the program quits.  We should figure out a good
way to allow the main JVM to close the interactions
JVM when quitting, rather than just letting it eventually
close itself.


----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=529125&group_id=44253