| 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 |