Rename fletch -> dartino

src/vm/event_handler_lk.cc

 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file
 // 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.
 
-#if defined(FLETCH_TARGET_OS_LK)
+#if defined(DARTINO_TARGET_OS_LK)
 
 #include "src/vm/event_handler.h"
 
 #include <kernel/event.h>
 #include <kernel/port.h>
 
 #include "src/shared/utils.h"
 #include "src/vm/object.h"
 #include "src/vm/port.h"
 #include "src/vm/process.h"
 #include "src/vm/scheduler.h"
 #include "src/vm/thread.h"
 
-namespace fletch {
+namespace dartino {
 
-const char* kFletchInterruptPortName = "FLETCH_INT";
+const char* kDartinoInterruptPortName = "DARTINO_INT";
 
 class PortSet {
  public:
   PortSet() : group(0), port_set(NULL) {
     // Create and add the interrupt port.
-    port_create(kFletchInterruptPortName, PORT_MODE_UNICAST, &interrupt_port);
+    port_create(kDartinoInterruptPortName, PORT_MODE_UNICAST, &interrupt_port);
     port_t interrupt_read;
-    port_open(kFletchInterruptPortName, NULL, &interrupt_read);
+    port_open(kDartinoInterruptPortName, NULL, &interrupt_read);
     AddReadPort(interrupt_read);
   }
 
   ~PortSet() {
     ASSERT(group != 0);
 
     // Close the group
     port_close(group);
 
     // Close all open read ports.
@@ skipping 115 matching lines @@
 
     if (has_result && result.ctx != NULL) {
       int64 value = *reinterpret_cast<int64*>(&result.packet.value);
       Send(reinterpret_cast<Port*>(result.ctx), value, false);
     }
 
     HandleTimeouts();
   }
 }
 
-}  // namespace fletch
+}  // namespace dartino
 
-#endif  // defined(FLETCH_TARGET_OS_LK)
+#endif  // defined(DARTINO_TARGET_OS_LK)