Rename fletch -> dartino

samples/github/lib/src/github_services.dart

 // 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 file.
 
-import 'dart:fletch';
+import 'dart:dartino';
 import 'dart:convert' show JSON, UTF8;
 
 import 'package:http/http.dart';
 import 'package:socket/socket.dart';
 
 abstract class Connection {
   final String host;
   final int port;
   Socket connect();
   void close();
@@ skipping 17 matching lines @@
     connect();
   }
   Socket connect() => _socket.accept();
   void close() { _socket.close(); }
 }
 
 getJson(Connection service, String resource) {
   HttpConnection connection = new HttpConnection(service.connect());
   HttpRequest request = new HttpRequest('${service.host}/$resource');
   request.headers["Host"] = service.host;
-  request.headers["User-Agent"] = 'fletch';
+  request.headers["User-Agent"] = 'dartino';
   HttpResponse response = connection.send(request);
   if (response.statusCode != 200) {
     throw 'Failed request: $resource on port ${service.port}';
   }
   return JSON.decode(UTF8.decode(response.body));
 }
 
 class Server {
   static const githubApiUrl = 'https://api.github.com';
   String get host => _connection.host;
@@ skipping 82 matching lines @@
   }
 
   List fetch(int page) {
     return _fetch(page, false);
   }
 
   void prefetchItemsInRange(int start, int end) {
     int firstPage = start ~/ count;
     int lastPage = (end ~/ count) + 1;
     // Scheduling prefetching of surrounding pages in descending order.
-    // (Currently the fletch scheduler will process these in reverse order).
+    // (Currently the dartino scheduler will process these in reverse order).
     if (firstPage > 0) prefetch(firstPage - 1);
     prefetch(lastPage + 1);
     for (int i = lastPage; i >= firstPage; --i) {
       prefetch(i);
     }
   }
 
   dynamic itemAt(int index) {
     int page = index ~/ count;
     int entry = index % count;
@@ skipping 33 matching lines @@
     try {
       entries = server.get('$api?page=${page + 1}');
     } catch (_) {
       // Throws once when we hit past the last page.
     }
     _pages[page] = entries;
     channel.send(entries);
     return entries;
   }
 }