home *** CD-ROM | disk | FTP | other *** search
- package sun.activator;
-
- import java.awt.Frame;
- import java.io.PrintStream;
- import java.util.Enumeration;
- import java.util.Hashtable;
- import java.util.Properties;
- import java.util.Vector;
-
- public class JavaRunTime {
- private static ConsoleWindow console;
- private static Vector listeners = new Vector();
-
- public static synchronized void addJavaExitListener(JavaExitListener var0) {
- listeners.addElement(var0);
- }
-
- private static void exit() {
- JavaExitEvent var0 = new JavaExitEvent();
- Enumeration var1 = listeners.elements();
-
- while(var1.hasMoreElements()) {
- JavaExitListener var2 = (JavaExitListener)var1.nextElement();
- var2.JavaExit(var0);
- }
-
- }
-
- public static Frame getJavaConsole() {
- return console;
- }
-
- protected static void initEnvironment(String var0, String var1, String var2) {
- Properties var3 = System.getProperties();
- ((Hashtable)var3).put("user.home", var2);
- ((Hashtable)var3).put("java.home", var0);
- ((Hashtable)var3).put("bridge.home", var1);
- AppletViewer.loadPropertiesFiles();
- }
-
- public static Frame openJavaConsole() {
- if (console != null) {
- return console;
- } else {
- console = new ConsoleWindow();
- DebugOutputStream var0 = new DebugOutputStream(console);
- PrintStream var1 = new PrintStream(var0);
- System.setErr(var1);
- DebugOutputStream var2 = new DebugOutputStream(console);
- PrintStream var3 = new PrintStream(var2);
- System.setOut(var3);
- return console;
- }
- }
-
- public static synchronized void removeJavaExitListener(JavaExitListener var0) {
- listeners.removeElement(var0);
- }
- }
-