| 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.dart"); | 5 #library("chat.dart"); |
| 6 #import("dart:html"); | 6 #import("dart:html"); |
| 7 #import("dart:json"); | 7 #import("dart:json"); |
| 8 | 8 |
| 9 void main() { | 9 void main() { |
| 10 new Chat().start(); | 10 new Chat().start(); |
| (...skipping 217 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 228 p.text = text.toString(); | 228 p.text = text.toString(); |
| 229 _messages.insertAdjacentElement('afterBegin', p); | 229 _messages.insertAdjacentElement('afterBegin', p); |
| 230 if (_messages.elements.length > 20) { | 230 if (_messages.elements.length > 20) { |
| 231 _messages.elements.removeLast(); | 231 _messages.elements.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 Date date = new Date.fromString(received); |
| 237 StringBuffer formattedTime = new StringBuffer(); | 237 StringBuffer formattedTime = new StringBuffer(); |
| 238 if (date.hours < 10) formattedTime.add("0"); | 238 if (date.hour < 10) formattedTime.add("0"); |
| 239 formattedTime.add(date.hours); | 239 formattedTime.add(date.hour); |
| 240 formattedTime.add(":"); | 240 formattedTime.add(":"); |
| 241 if (date.minutes < 10) formattedTime.add("0"); | 241 if (date.minute < 10) formattedTime.add("0"); |
| 242 formattedTime.add(date.minutes); | 242 formattedTime.add(date.minute); |
| 243 formattedTime.add(":"); | 243 formattedTime.add(":"); |
| 244 if (date.seconds < 10) formattedTime.add("0"); | 244 if (date.second < 10) formattedTime.add("0"); |
| 245 formattedTime.add(date.seconds); | 245 formattedTime.add(date.second); |
| 246 return formattedTime.toString(); | 246 return formattedTime.toString(); |
| 247 } | 247 } |
| 248 | 248 |
| 249 String formatUpTime(int upTime) { | 249 String formatUpTime(int upTime) { |
| 250 var upTime = (upTime ~/ 1000); | 250 var upTime = (upTime ~/ 1000); |
| 251 int hours = (upTime ~/ (60 * 60)); | 251 int hours = (upTime ~/ (60 * 60)); |
| 252 upTime = upTime % (60 * 60); | 252 upTime = upTime % (60 * 60); |
| 253 int minutes = (upTime ~/ 60); | 253 int minutes = (upTime ~/ 60); |
| 254 upTime = upTime % 60; | 254 upTime = upTime % 60; |
| 255 int seconds = upTime; | 255 int seconds = upTime; |
| (...skipping 50 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 XMLHttpRequest _pollRequest = null; | 313 XMLHttpRequest _pollRequest = null; |
| 314 | 314 |
| 315 } | 315 } |
| OLD | NEW |