| Index: samples/total/src/TotalServer.dart
|
| diff --git a/samples/total/src/TotalServer.dart b/samples/total/src/TotalServer.dart
|
| index 91f9ad6a6a86cf3c10a5f0309e7ac616f5efc1af..34203d699e92d965ce6f4c66b6ee55078e399589 100644
|
| --- a/samples/total/src/TotalServer.dart
|
| +++ b/samples/total/src/TotalServer.dart
|
| @@ -61,15 +61,15 @@ class TotalServer extends IsolatedServer {
|
| 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) {
|
|
|