Use patching for dart:io.

lib/io/websocket_impl.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 const String _webSocketGUID = "258EAFA5-E914-47DA-95CA-C5AB0DC85B11";
 
 class _WebSocketMessageType {
   static const int NONE = 0;
   static const int BINARY = 1;
   static const int TEXT = 2;
@@ skipping 190 matching lines @@
                   }
                   break;
 
                 default:
                   throw new WebSocketException("Protocol error");
               }
             }
 
             // Hack - as we always do index++ below.
             index--;
+            break;

[Anders Johnsen, 2012/10/30 10:43:06]

This looks wrong to me. If you break here, the 'hack' will not do the correct
thing. Remove hack? Or is there a bug associated with this change?

[Mads Ager (google), 2012/10/30 11:12:40]

This is the end of a switch case, so the only thing we are breaking out from is
the switch. :)

         }
 
         // Move to the next byte.
         index++;
       }
     } catch (e) {
       if (onClosed !== null) onClosed(WebSocketStatus.PROTOCOL_ERROR,
                                       "Protocol error");
       _state = FAILURE;
     }
@@ skipping 642 matching lines @@
 
 class _WebSocketCloseEvent implements CloseEvent {
   _WebSocketCloseEvent(this._wasClean, this._code, this._reason);
   bool get wasClean => _wasClean;
   int get code => _code;
   String get reason => _reason;
   bool _wasClean;
   int _code;
   String _reason;
 }