| OLD | NEW | 
|   1 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file |   1 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file | 
|   2 // for details. All rights reserved. Use of this source code is governed by a |   2 // for details. All rights reserved. Use of this source code is governed by a | 
|   3 // BSD-style license that can be found in the LICENSE file. |   3 // BSD-style license that can be found in the LICENSE file. | 
|   4  |   4  | 
|   5 #library("chat_server.dart"); |   5 #library("chat_server.dart"); | 
|   6 #import("dart:io"); |   6 #import("dart:io"); | 
|   7 #import("chat_server_lib.dart"); |   7 #import("chat_server_lib.dart"); | 
|   8  |   8  | 
|   9  |   9  | 
|  10 final DEFAULT_PORT = 8123; |  10 final DEFAULT_PORT = 8123; | 
|  11 final DEFAULT_HOST = "127.0.0.1"; |  11 final DEFAULT_HOST = "127.0.0.1"; | 
|  12  |  12  | 
|  13 void main() { |  13 void main() { | 
|  14   // For profiling stopping after some time is convenient. Set |  14   // For profiling stopping after some time is convenient. Set | 
|  15   // stopAfter for that. |  15   // stopAfter for that. | 
|  16   int stopAfter; |  16   int stopAfter; | 
|  17  |  17  | 
|  18   ServerMain serverMain = |  18   ServerMain serverMain = | 
|  19       new ServerMain.start(new ChatServer(), DEFAULT_HOST, DEFAULT_PORT); |  19       new ServerMain.start(new ChatServer(), DEFAULT_HOST, DEFAULT_PORT); | 
|  20  |  20  | 
|  21   // Start a shutdown timer if requested. |  21   // Start a shutdown timer if requested. | 
|  22   if (stopAfter != null) { |  22   if (stopAfter != null) { | 
|  23     new Timer((timer) => serverMain.shutdown(), stopAfter * 1000); |  23     new Timer(stopAfter * 1000, (timer) => serverMain.shutdown()); | 
|  24   } |  24   } | 
|  25 } |  25 } | 
| OLD | NEW |