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 |