X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=src%2Forg%2Fxwt%2FPlatform.java;h=4fee620a4c30661f3ffae8be90215c211c48b09b;hb=8f64b15c136ba9040fbf03f69604477c53795af3;hp=02e75dd4fb8eddf7d26661811edf4feb0d47d566;hpb=76a3f525433eff7ade457945efa42aa5c1a50b84;p=org.ibex.core.git diff --git a/src/org/xwt/Platform.java b/src/org/xwt/Platform.java index 02e75dd..4fee620 100644 --- a/src/org/xwt/Platform.java +++ b/src/org/xwt/Platform.java @@ -73,7 +73,7 @@ public class Platform { if (platform_class == null) { if (Log.on) Log.log(Platform.class, "Unable to detect JVM"); - System.exit(-1); + new Platform().criticalAbort("Unable to detect JVM"); } if (Log.on) Log.log(Platform.class, " platform = " + platform.getDescriptiveName()); @@ -82,7 +82,7 @@ public class Platform { } catch (Exception e) { if (Log.on) Log.log(Platform.class, "Exception while trying to detect JVM"); if (Log.on) Log.log(Platform.class, e); - System.exit(-1); + new Platform().criticalAbort("Unable to detect JVM"); } } @@ -106,7 +106,9 @@ public class Platform { /** creates a socket object */ protected Socket _getSocket(String host, int port, boolean ssl, boolean negotiate) throws IOException { - return ssl ? new TinySSL(host, port, negotiate) : new Socket(java.net.InetAddress.getByName(host), port); + Socket ret = ssl ? new TinySSL(host, port, negotiate) : new Socket(java.net.InetAddress.getByName(host), port); + ret.setTcpNoDelay(true); + return ret; } /** creates and returns a picture */ @@ -156,10 +158,18 @@ public class Platform { } /** quits XWT */ - protected void _exit() { System.exit(0); } + protected void _exit() { + if (Main.applet == null) { + System.exit(0); + } else { + // just block ourselves forever + // FIXME: implement this with an exit variable for MessageQueue and plat.*.eventThread + new Semaphore().block(); + } + } /** used to notify the user of very serious failures; usually used when logging is not working or unavailable */ - protected void _criticalAbort(String message) { System.exit(-1); } + protected void _criticalAbort(String message) { _exit(); } /** used to notify the user of very serious failures; usually used when logging is not working or unavailable */ protected String _getDefaultFont() { return "sansserif10"; } @@ -300,8 +310,8 @@ public class Platform { public static Surface createSurface(Box b, boolean framed, boolean refreshable) { Surface ret = platform._createSurface(b, framed); ret.setInvisible(b.invisible); - b.set(Box.size, 0, ret.width); - b.set(Box.size, 1, ret.height); + b.set(Box.size, 0, b.size(0) == 0 ? 10 : b.size(0)); + b.set(Box.size, 1, b.size(1) == 0 ? 10 : b.size(1)); Object titlebar = b.get("titlebar", null, true); if (titlebar != null) ret.setTitleBarText(titlebar.toString());