Rename fletch -> dartino

pkg/dartino_compiler/lib/src/hub/session_manager.dart

Index: pkg/dartino_compiler/lib/src/hub/session_manager.dart
diff --git a/pkg/fletchc/lib/src/hub/session_manager.dart b/pkg/dartino_compiler/lib/src/hub/session_manager.dart
similarity index 87%
rename from pkg/fletchc/lib/src/hub/session_manager.dart
rename to pkg/dartino_compiler/lib/src/hub/session_manager.dart
index b7c2eb75d69cdd0e59516bbf896aa03976227c30..74c6a38b4f2dc86b174b973b2300a09c6ebc4054 100644
--- a/pkg/fletchc/lib/src/hub/session_manager.dart
+++ b/pkg/dartino_compiler/lib/src/hub/session_manager.dart
@@ -2,7 +2,7 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
-library fletchc.hub.session_manager;
+library dartino_compiler.hub.session_manager;
 
 import 'dart:async' show
     Future,
@@ -27,11 +27,11 @@ import '../diagnostic.dart' show
     throwFatalError,
     throwInternalError;
 
-import '../../fletch_system.dart' show
-    FletchDelta;
+import '../../dartino_system.dart' show
+    DartinoDelta;
 
-export '../../fletch_system.dart' show
-    FletchDelta;
+export '../../dartino_system.dart' show
+    DartinoDelta;
 
 import '../../vm_session.dart' show
     Session;
@@ -39,23 +39,23 @@ import '../../vm_session.dart' show
 export '../../vm_session.dart' show
     Session;
 
-import '../../fletch_compiler.dart' show
-    FletchCompiler;
+import '../../dartino_compiler.dart' show
+    DartinoCompiler;
 
-export '../../fletch_compiler.dart' show
-    FletchCompiler;
+export '../../dartino_compiler.dart' show
+    DartinoCompiler;
 
-import '../../incremental/fletchc_incremental.dart' show
+import '../../incremental/dartino_compiler_incremental.dart' show
     IncrementalCompiler;
 
-export '../../incremental/fletchc_incremental.dart' show
+export '../../incremental/dartino_compiler_incremental.dart' show
     IncrementalCompiler;
 
-import '../../fletch_vm.dart' show
-    FletchVm;
+import '../../dartino_vm.dart' show
+    DartinoVm;
 
-export '../../fletch_vm.dart' show
-    FletchVm;
+export '../../dartino_vm.dart' show
+    DartinoVm;
 
 // TODO(karlklose): we need a better API for session management.
 class Sessions {
@@ -170,11 +170,11 @@ class SessionState {
 
   final BufferingOutputSink stderrSink = new BufferingOutputSink();
 
-  final FletchCompiler compilerHelper;
+  final DartinoCompiler compilerHelper;
 
   final IncrementalCompiler compiler;
 
-  final List<FletchDelta> compilationResults = <FletchDelta>[];
+  final List<DartinoDelta> compilationResults = <DartinoDelta>[];
 
   final List<String> loggedMessages = <String>[];
 
@@ -182,9 +182,9 @@ class SessionState {
 
   Session session;
 
-  FletchVm fletchVm;
+  DartinoVm dartinoVm;
 
-  int fletchAgentVmId;
+  int dartinoAgentVmId;
 
   Settings settings;
 
@@ -192,11 +192,11 @@ class SessionState {
 
   SessionState(this.name, this.compilerHelper, this.compiler, this.settings);
 
-  bool get hasRemoteVm => fletchAgentVmId != null;
+  bool get hasRemoteVm => dartinoAgentVmId != null;
 
   bool get colorsDisabled  => session == null ? false : session.colorsDisabled;
 
-  void addCompilationResult(FletchDelta delta) {
+  void addCompilationResult(DartinoDelta delta) {
     compilationResults.add(delta);
   }
 
@@ -210,7 +210,7 @@ class SessionState {
         bool done = false;
         Timer timer = new Timer(const Duration(seconds: 5), () {
             if (!done) {
-              print("Timed out waiting for Fletch VM to shutdown; killing "
+              print("Timed out waiting for Dartino VM to shutdown; killing "
                   "session");
               session.kill();
             }