2002/05/05 08:37:32

[org.ibex.core.git] / src / org / xwt / Platform.java

diff --git a/src/org/xwt/Platform.java b/src/org/xwt/Platform.java
index 39a480f..e3ee510 100644 (file)
--- a/src/org/xwt/Platform.java
+++ b/src/org/xwt/Platform.java
@@ -103,8 +103,8 @@ public class Platform {
     protected Surface _createSurface(Box b, boolean framed) { return null; }
 
     /** creates a socket object */
-    protected Socket _getSocket(String host, int port, boolean ssl) throws IOException {
-        return ssl ? new TinySSL(host, port) : new Socket(java.net.InetAddress.getByName(host), port);
+    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);
     }
 
     /** creates and returns a picture */
@@ -169,10 +169,7 @@ public class Platform {
         return;
     }
 
-    /** Returns true iff the platform detected that it should be using a proxy.
-     *  The platform implementation should cache the result.
-     *  This method will only be called if a connection attempt failed
-     */
+    /** Returns null if XWT should always use direct connection; otherwise returns a ProxyInfo object with proxy settings */
     protected synchronized HTTP.ProxyInfo _detectProxy() { return null; }
 
     // Static methods -- thunk to the instance /////////////////////////////////////////////////////////////////////////
@@ -214,7 +211,9 @@ public class Platform {
     public static void setClipBoard(String s) { platform._setClipBoard(s); }
 
     /** creates a socket object, with or without ssl encryption */
-    public static Socket getSocket(String host, int port, boolean ssl) throws IOException { return platform._getSocket(host, port, ssl); }
+    public static Socket getSocket(String host, int port, boolean ssl, boolean negotiate) throws IOException {
+        return platform._getSocket(host, port, ssl, negotiate);
+    }
 
     /** returns the width of the screen, in pixels */
     public static int getScreenWidth() { return platform._getScreenWidth(); }