01: package tide.jmx;
02:
03: /** Defines MXBean interface for TIDE.
04: * Can be accessed from JConsole.
05: */
06: public interface TideControlMBean {
07: /** important, for example HPROF fails it the JVM is not terminated correctly.
08: * if we have a deadlock involving the EDT, this method will be the unique
09: * clean way to shut down !
10: */
11: public void shutdownJVM();
12: }
|