Rework Timer interface.

sdk/lib/io/websocket_impl.dart

 // Copyright (c) 2013, 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.
 
 part of dart.io;
 
 const String _webSocketGUID = "258EAFA5-E914-47DA-95CA-C5AB0DC85B11";
 
 class _WebSocketMessageType {
   static const int NONE = 0;
@@ skipping 435 matching lines @@
     _sendFrame(_WebSocketOpcode.CLOSE, data);
 
     if (_closeReceived) {
       // Close the socket when the close frame has been sent - if it
       // does not take too long.
       _socket.outputStream.close();
       _socket.outputStream.onClosed = () {
         if (_closeTimer != null) _closeTimer.cancel();
         _socket.close();
       };
-      _closeTimer = new Timer(5000, (t) {
-        _socket.close();
-      });
+      _closeTimer = new Timer(const Duration(seconds: 5), _socket.close);
     } else {
       // Half close the socket and expect a close frame in response
       // before closing the socket. If a close frame does not arrive
       // within a reasonable amount of time just close the socket.
       _socket.outputStream.close();
-      _closeTimer = new Timer(5000, (t) {
-        _socket.close();
-      });
+      _closeTimer = new Timer(const Duration(seconds: 5), _socket.close);
     }
     _closeSent = true;
   }
 
   int get hashCode => _hash;
 
   _onWebSocketMessageStart(int type) {
     _currentMessageType = type;
     if (_currentMessageType == _WebSocketMessageType.TEXT) {
       _decoder = _StringDecoders.decoder(Encoding.UTF_8);
@@ skipping 390 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;
 }