Always kill the editor and eggplant if on linux

tools/task_kill.py

Index: tools/task_kill.py
===================================================================
--- tools/task_kill.py	(revision 36728)
+++ tools/task_kill.py	(working copy)
@@ -27,6 +27,7 @@
     'chrome': 'chrome.exe',
     'content_shell': 'content_shell.exe',
     'dart': 'dart.exe',
+    'editor': 'DartEditor.exe',
     'iexplore': 'iexplore.exe',
     'firefox': 'firefox.exe',
     'git': 'git.exe',
@@ -36,6 +37,8 @@
     'chrome': 'chrome',
     'content_shell': 'content_shell',
     'dart': 'dart',
+    'editor': 'DartEditor',
+    'eggplant': 'Eggplant',
     'firefox': 'firefox.exe',
     'git': 'git',
     'svn': 'svn'
@@ -44,6 +47,7 @@
     'chrome': 'Chrome',
     'content_shell': 'Content Shell',
     'dart': 'dart',
+    'editor': 'DartEditor',
     'firefox': 'firefox',
     'safari': 'Safari',
     'git': 'git',
@@ -65,6 +69,8 @@
                     help="Kill all git and svn processes")
   parser.add_option("--kill_browsers", default=False,
                      help="Kill all browser processes")
+  parser.add_option("--kill_editor", default=True,
+                     help="Kill all editor processes")
   (options, args) = parser.parse_args()
   return options
 
@@ -187,6 +193,12 @@
   status = Kill("dart")
   return status
 
+def KillEditor():
+  status = Kill("editor")
+  if os_name == "linux":
+    status += Kill("eggplant")
+  return status
+
 def Main():
   options = GetOptions()
   status = 0
@@ -196,6 +208,8 @@
     status += KillVCSystems();
   if (options.kill_browsers):
     status += KillBrowsers()
+  if (options.kill_editor):
+    status += KillEditor()
   return status
 
 if __name__ == '__main__':