Files
sdk/tools
messick@google.com 97fda01ba0 Kill java to terminate editor on linux.
The DartEditor process can be killed without causing the editor
to terminate. I believe that in addition to killing it we also
need to stop the jvm. Plus, it needs to be done in order or else
the DartEditor process will display an error dialog when the
jvm is killed.

R=ricow@google.com

Review URL: https://codereview.chromium.org//317423002

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@37099 260f80e4-7a28-3924-810f-c04153c831b5
2014-06-06 20:18:05 +00:00
..
2014-06-04 09:18:01 +00:00
2014-06-04 05:45:55 +00:00
2014-06-06 12:14:15 +00:00
2014-06-06 12:14:15 +00:00
2014-04-28 19:12:58 +00:00