Added builtin native call to exit the running vm

samples/total/src/TotalServer.dart

 // Copyright (c) 2011, the Dart 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.
 
 #library("total:server");
 
 #import("../../chat/chat_server_lib.dart");
 #import("../../chat/http.dart");
 #import("Dartc.dart");
 #source("GetSpreadsheet.dart");
@@ skipping 43 matching lines @@
     addHandler("/adm/Adminz.js",
                (HTTPRequest request, HTTPResponse response)
                  => fileHandler(request, response, "${CLIENT_DIR}/Adminz.js"));
     addHandler("/adm/stop", stopServer);
     addHandler("/adm/restart", restartServer);
   }
 
   void restartServer(HTTPRequest request, HTTPResponse response) {
     writeData(request, response, 'Restarting, KBBS', 'text/plain');
     stop();
-    print("GRACEFUL RESTART!! TODO: make server exit gracefully");
-    throw "GRACEFUL RESTART!! TODO: make server exit gracefully";
+    print("GRACEFUL RESTART!!");
+    exit(42);
   }
 
   void stopServer(HTTPRequest request, HTTPResponse response) {
     writeData(request, response, 'Exiting, KTHXBYE', 'text/plain');
     stop();
-    print("GRACEFUL EXIT!! TODO: make server exit gracefully");
-    throw "GRACEFUL EXIT!! TODO: make server exit gracefully";
+    print("GRACEFUL EXIT!!");
+    exit(0);
   }
 
   void writeData(HTTPRequest request, HTTPResponse response, String message, String mimeType) {
     response.setHeader("Content-Type", mimeType);
 
     List<int> buffer = message.charCodes();
     response.writeList(buffer, 0, buffer.length, null);
     response.writeDone();
   }
 
@@ skipping 26 matching lines @@
 errorDiv.appendChild(errorSpan);
 
 document.body.appendChild(errorDiv);
 ''';
           writeData(request, response, errorScript, "application/javascript");
         }
     });
   }
 }