Wait for eventhandler to shut down before exiting

dart/runtime/bin/main.cc

Index: dart/runtime/bin/main.cc
diff --git a/dart/runtime/bin/main.cc b/dart/runtime/bin/main.cc
index 251108dbe66115c19326922358949372374a833b..2adacbc1781456f022eec8b0995b0158951e2b5c 100644
--- a/dart/runtime/bin/main.cc
+++ b/dart/runtime/bin/main.cc
@@ -1098,6 +1098,9 @@ void main(int argc, char** argv) {
 
   Dart_Cleanup();
 
+  // Stop event handler.
+  EventHandler::Stop();

[kustermann, 2015/02/04 20:58:43]

I'm actually not 100% sure whether this should be here or before
Dart_ShutdownIsolate().

What can happen is that the event handler thread is still posting messages to a
`Dart_Port` as long as EventHandler::Stop() isn't done.

[What happens if the eventhandler posts a message to a Dart_Port where the
receive port is in an isolate that is already dead?]

[Søren Gjesse, 2015/02/04 21:57:09]

It should be safe to post to send ports where the the receive port is gone. That
should have no effect.

+
   // Free copied argument strings if converted.
   if (argv_converted) {
     for (int i = 0; i < argc; i++) free(argv[i]);