Kill java to terminate editor on linux.

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

Committed: https://code.google.com/p/dart/source/detail?r=37099

[ricow1, 2014-06-06 19:05:14]

lgtm

https://codereview.chromium.org/317423002/diff/1/tools/task_kill.py
File tools/task_kill.py (right):

https://codereview.chromium.org/317423002/diff/1/tools/task_kill.py#newcode200
tools/task_kill.py:200: status += Kill("java")
if the order here is really important, please add a comment stating that here -
otherwise this may easily be lost in a refactoring.

[messick, 2014-06-06 20:18:21]

Committed patchset #2 manually as r37099 (presubmit successful).

[messick, 2014-06-06 20:18:30]

On 2014/06/06 19:05:14, ricow1 wrote:
> lgtm
> 
> https://codereview.chromium.org/317423002/diff/1/tools/task_kill.py
> File tools/task_kill.py (right):
> 
> https://codereview.chromium.org/317423002/diff/1/tools/task_kill.py#newcode200
> tools/task_kill.py:200: status += Kill("java")
> if the order here is really important, please add a comment stating that here
-
> otherwise this may easily be lost in a refactoring.

Done