[DrJava] [ drjava-Bugs-1085578 ] Dr Java Error

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

Bugs item #1085578, was opened at 2004-12-14 20:23
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1085578&group_id=44253

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Dr Java Error

Initial Comment:
This happened when i was closing Dr Java, and it was 
asking to save files.  It had this error:


java.lang.IllegalStateException: tried to quit when no 
slave running and startup not in progress

	at 
edu.rice.cs.util.newjvm.AbstractMasterJVM.quitSlave
(AbstractMasterJVM.java:308)

	at 
edu.rice.cs.drjava.model.repl.newjvm.MainJVM.killInterpre
ter(MainJVM.java:651)

	at 
edu.rice.cs.drjava.model.DefaultGlobalModel.dispose
(DefaultGlobalModel.java:671)

	at 
edu.rice.cs.drjava.model.DefaultGlobalModel.quit
(DefaultGlobalModel.java:651)

	at edu.rice.cs.drjava.ui.MainFrame._quit
(MainFrame.java:2055)

	at 
edu.rice.cs.drjava.ui.MainFrame.access$2700
(MainFrame.java:103)

	at 
edu.rice.cs.drjava.ui.MainFrame$67.windowClosing
(MainFrame.java:1208)

	at 
java.awt.AWTEventMulticaster.windowClosing(Unknown 
Source)

	at java.awt.Window.processWindowEvent
(Unknown Source)

	at javax.swing.JFrame.processWindowEvent
(Unknown Source)

	at java.awt.Window.processEvent(Unknown 
Source)

	at java.awt.Component.dispatchEventImpl
(Unknown Source)

	at java.awt.Container.dispatchEventImpl
(Unknown Source)

	at java.awt.Window.dispatchEventImpl
(Unknown Source)

	at java.awt.Component.dispatchEvent
(Unknown Source)

	at java.awt.EventQueue.dispatchEvent
(Unknown Source)

	at 
java.awt.EventDispatchThread.pumpOneEventForHierarch
y(Unknown Source)

	at 
java.awt.EventDispatchThread.pumpEventsForHierarchy
(Unknown Source)

	at java.awt.EventDispatchThread.pumpEvents
(Unknown Source)

	at java.awt.EventDispatchThread.pumpEvents
(Unknown Source)

	at java.awt.EventDispatchThread.run(Unknown 
Source)



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

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