| OLD | NEW |
| 1 // Copyright (c) 2015, the Dartino 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.verbs.create_verb; | 5 library dartino_compiler.verbs.create_verb; |
| 6 | 6 |
| 7 import 'infrastructure.dart'; | 7 import 'infrastructure.dart'; |
| 8 | 8 |
| 9 import '../worker/developer.dart' show | 9 import '../worker/developer.dart' show |
| 10 Settings, | 10 Settings, |
| 11 allocateWorker, | 11 allocateWorker, |
| 12 configFileUri, | 12 configFileUri, |
| 13 createSessionState, | 13 createSessionState, |
| 14 createSettings; | 14 createSettings; |
| 15 | 15 |
| (...skipping 51 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 67 name, settingsUri, base, configFileUri, commandSender, commandIterator); | 67 name, settingsUri, base, configFileUri, commandSender, commandIterator); |
| 68 SessionState state = createSessionState(name, settings); | 68 SessionState state = createSessionState(name, settings); |
| 69 SessionState.internalCurrent = state; | 69 SessionState.internalCurrent = state; |
| 70 if (settingsUri != null) { | 70 if (settingsUri != null) { |
| 71 state.log("created session with $settingsUri $settings"); | 71 state.log("created session with $settingsUri $settings"); |
| 72 } else { | 72 } else { |
| 73 state.log("created session with settings $settings"); | 73 state.log("created session with settings $settings"); |
| 74 } | 74 } |
| 75 return 0; | 75 return 0; |
| 76 } | 76 } |
| OLD | NEW |