Kill java to terminate editor on linux.

tools/task_kill.py

 #!/usr/bin/env python
 #
 # Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 #
 
 # A script to kill hanging processs. The tool will return non-zero if any
 # process was actually found.
 #
@@ skipping 20 matching lines @@
     'iexplore': 'iexplore.exe',
     'firefox': 'firefox.exe',
     'git': 'git.exe',
     'svn': 'svn.exe'
   },
   'linux': {
     'chrome': 'chrome',
     'content_shell': 'content_shell',
     'dart': 'dart',
     'editor': 'DartEditor',
+    'java': 'java',
     'eggplant': 'Eggplant',
     'firefox': 'firefox.exe',
     'git': 'git',
     'svn': 'svn'
   },
   'macos': {
     'chrome': 'Chrome',
     'content_shell': 'Content Shell',
     'dart': 'dart',
     'editor': 'DartEditor',
@@ skipping 138 matching lines @@
   status += Kill('svn')
   return status
 
 def KillDart():
   status = Kill("dart")
   return status
 
 def KillEditor():
   status = Kill("editor")
   if os_name == "linux":
+    status += Kill("java")

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

if the order here is really important, please add a comment stating that here -
otherwise this may easily be lost in a refactoring. 

     status += Kill("eggplant")
   return status
 
 def Main():
   options = GetOptions()
   status = 0
   if (options.kill_dart):
     status += KillDart();
   if (options.kill_vc):
     status += KillVCSystems();
   if (options.kill_browsers):
     status += KillBrowsers()
   if (options.kill_editor):
     status += KillEditor()
   return status
 
 if __name__ == '__main__':
   sys.exit(Main())