| Index: samples/total/src/TotalServer.dart
|
| diff --git a/samples/total/src/TotalServer.dart b/samples/total/src/TotalServer.dart
|
| index 117ea9f34b030ee43523bd9c96609d704dfc2af5..b1ca2f1d5a7b5d7f25c851952a1d93fa1fb8c6b2 100644
|
| --- a/samples/total/src/TotalServer.dart
|
| +++ b/samples/total/src/TotalServer.dart
|
| @@ -56,15 +56,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) {
|
|
|