| 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; | 5 library chat; |
| 6 import 'dart:html'; | 6 import 'dart:html'; |
| 7 import 'dart:json' as jsonlib; | 7 import 'dart:json' as jsonlib; |
| 8 | 8 |
| 9 void main() { | 9 void main() { |
| 10 new Chat().start(); | 10 new Chat().start(); |
| (...skipping 215 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 226 text.add("timeout"); | 226 text.add("timeout"); |
| 227 } | 227 } |
| 228 p.text = text.toString(); | 228 p.text = text.toString(); |
| 229 _messages.insertAdjacentElement('afterBegin', p); | 229 _messages.insertAdjacentElement('afterBegin', p); |
| 230 if (_messages.children.length > 20) { | 230 if (_messages.children.length > 20) { |
| 231 _messages.children.removeLast(); | 231 _messages.children.removeLast(); |
| 232 } | 232 } |
| 233 } | 233 } |
| 234 | 234 |
| 235 String formatMessageTime(String received) { | 235 String formatMessageTime(String received) { |
| 236 Date date = new Date.fromString(received); | 236 DateTime date = new DateTime.fromString(received); |
| 237 StringBuffer formattedTime = new StringBuffer(); | 237 StringBuffer formattedTime = new StringBuffer(); |
| 238 if (date.hour < 10) formattedTime.add("0"); | 238 if (date.hour < 10) formattedTime.add("0"); |
| 239 formattedTime.add(date.hour); | 239 formattedTime.add(date.hour); |
| 240 formattedTime.add(":"); | 240 formattedTime.add(":"); |
| 241 if (date.minute < 10) formattedTime.add("0"); | 241 if (date.minute < 10) formattedTime.add("0"); |
| 242 formattedTime.add(date.minute); | 242 formattedTime.add(date.minute); |
| 243 formattedTime.add(":"); | 243 formattedTime.add(":"); |
| 244 if (date.second < 10) formattedTime.add("0"); | 244 if (date.second < 10) formattedTime.add("0"); |
| 245 formattedTime.add(date.second); | 245 formattedTime.add(date.second); |
| 246 return formattedTime.toString(); | 246 return formattedTime.toString(); |
| (...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 306 Element _chatSection; | 306 Element _chatSection; |
| 307 InputElement _messageInput; | 307 InputElement _messageInput; |
| 308 Element _messages; | 308 Element _messages; |
| 309 Element _statusText; | 309 Element _statusText; |
| 310 | 310 |
| 311 String _session = null; | 311 String _session = null; |
| 312 int _nextMessage = 0; | 312 int _nextMessage = 0; |
| 313 HttpRequest _pollRequest = null; | 313 HttpRequest _pollRequest = null; |
| 314 | 314 |
| 315 } | 315 } |
| OLD | NEW |