[html5] r3372 - [] (0) Prefer SOCKS proxies over HTTPS proxies. (credit: rc)

[whatwg at whatwg.org]

Author: ianh
Date: 2009-07-07 17:41:10 -0700 (Tue, 07 Jul 2009)
New Revision: 3372

Modified:
   index
   source
Log:
[] (0) Prefer SOCKS proxies over HTTPS proxies. (credit: rc)

Modified: index
===================================================================
--- index	2009-07-08 00:37:12 UTC (rev 3371)
+++ index	2009-07-08 00:41:10 UTC (rev 3372)
@@ -67,7 +67,7 @@
   <div class=head>
    <p><a class=logo href=http://www.whatwg.org/ rel=home><img alt=WHATWG src=/images/logo></a></p>
    <h1>HTML 5</h1>
-   <h2 class="no-num no-toc" id=draft-standard-—-date:-01-jan-1901>Draft Standard — 7 July 2009</h2>
+   <h2 class="no-num no-toc" id=draft-standard-—-date:-01-jan-1901>Draft Standard — 8 July 2009</h2>
    <p>You can take part in this work. <a href=http://www.whatwg.org/mailing-list>Join the working group's discussion list.</a></p>
    <p><strong>Web designers!</strong> We have a <a href=http://blog.whatwg.org/faq/>FAQ</a>, a <a href=http://forums.whatwg.org/>forum</a>, and a <a href=http://www.whatwg.org/mailing-list#help>help mailing list</a> for you!</p>
    <!--<p class="impl"><strong>Implementors!</strong> We have a <a href="http://www.whatwg.org/mailing-list#implementors">mailing list</a> for you too!</p>-->
@@ -72421,6 +72421,7 @@
   Rikkert Koppes,
   Rimantas Liubertas,
   Robert Blaut,
+  Robert Collins,
   Robert O'Callahan,
   Robert Sayre,
   Robin Berjon,

Modified: source
===================================================================
--- source	2009-07-08 00:37:12 UTC (rev 3371)
+++ source	2009-07-08 00:41:10 UTC (rev 3372)
@@ -70492,10 +70492,10 @@
     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>
+    selecting a proxy for WebSocket connections separate from other
+    proxies are encouraged to use a SOCKS proxy for WebSocket
+    connections, if available, or failing that, to prefer an HTTPS
+    proxy over an HTTP proxy.</p>
 
    </li>
 
@@ -85420,6 +85420,7 @@
   Rikkert Koppes,
   Rimantas Liubertas,
   Robert Blaut,
+  Robert Collins,
   Robert O'Callahan,
   Robert Sayre,
   Robin Berjon,