[html5] r3367 - [e] (0) Discuss how to handle proxies some more.

[whatwg at whatwg.org]

Author: ianh
Date: 2009-07-06 21:41:56 -0700 (Mon, 06 Jul 2009)
New Revision: 3367

Modified:
   source
Log:
[e] (0) Discuss how to handle proxies some more.

Modified: source
===================================================================
--- source	2009-07-07 04:31:16 UTC (rev 3366)
+++ source	2009-07-07 04:41:56 UTC (rev 3367)
@@ -70325,11 +70325,12 @@
 
    <li>
 
-    <p>If the user agent is configured to use a proxy to connect to
-    host <var title="">host</var> and/or port <var
-    title="">port</var>, then connect to that proxy and ask it to open
-    a TCP/IP connection to the host given by <var title="">host</var>
-    and the port given by <var title="">port</var>.</p>
+    <p>If the user agent is configured to use a proxy when using the
+    WebSocket protocol to connect to host <var title="">host</var>
+    and/or port <var title="">port</var>, then connect to that proxy
+    and ask it to open a TCP/IP connection to the host given by <var
+    title="">host</var> and the port given by <var
+    title="">port</var>.</p>
 
     <div class="example">
 
@@ -70354,6 +70355,12 @@
     title="">host</var> and the port given by <var
     title="">port</var>.</p>
 
+    <p class="note">Implementations that do not expose explicit UI for
+    selecting a proxy for WebSocket connections separate from HTTP or
+    HTTPS connections, but that do provide separate configuration
+    options for HTTP and HTTPS connections, are encouraged to use
+    their HTTPS proxy for WebSocket connections.</p>
+
    </li>
 
    <li><p>If the connection could not be opened, then <span>fail the