| OLD | NEW |
| 1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino 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.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
| 4 | 4 |
| 5 library fletchc.hub_main; | 5 library fletchc.hub_main; |
| 6 | 6 |
| 7 import 'dart:collection' show | 7 import 'dart:collection' show |
| 8 Queue; | 8 Queue; |
| 9 | 9 |
| 10 import 'dart:io' hide | 10 import 'dart:io' hide |
| 11 exitCode, | 11 exitCode, |
| (...skipping 837 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 849 | 849 |
| 850 void error(error, StackTrace stackTrace) { | 850 void error(error, StackTrace stackTrace) { |
| 851 // TODO(ahe): Modify quit verb to report these errors. | 851 // TODO(ahe): Modify quit verb to report these errors. |
| 852 erroneousClients.add(this); | 852 erroneousClients.add(this); |
| 853 note("Crash (${arguments.join(' ')}).\n" | 853 note("Crash (${arguments.join(' ')}).\n" |
| 854 "${stringifyError(error, stackTrace)}"); | 854 "${stringifyError(error, stackTrace)}"); |
| 855 } | 855 } |
| 856 | 856 |
| 857 String toString() => "$id"; | 857 String toString() => "$id"; |
| 858 } | 858 } |
| OLD | NEW |