| Index: tools/task_kill.py
|
| diff --git a/tools/task_kill.py b/tools/task_kill.py
|
| index 654c2b640761e44cb6c8bf4a4eb25b62e028ab67..457e45f539cddc80cbc75c1057ea89ef90a2a7f2 100755
|
| --- a/tools/task_kill.py
|
| +++ b/tools/task_kill.py
|
| @@ -27,7 +27,6 @@ EXECUTABLE_NAMES = {
|
| 'chrome': 'chrome.exe',
|
| 'content_shell': 'content_shell.exe',
|
| 'dart': 'dart.exe',
|
| - 'editor': 'DartEditor.exe',
|
| 'iexplore': 'iexplore.exe',
|
| 'firefox': 'firefox.exe',
|
| 'git': 'git.exe',
|
| @@ -37,9 +36,6 @@ EXECUTABLE_NAMES = {
|
| 'chrome': 'chrome',
|
| 'content_shell': 'content_shell',
|
| 'dart': 'dart',
|
| - 'editor': 'DartEditor',
|
| - 'java': 'java',
|
| - 'eggplant': 'Eggplant',
|
| 'firefox': 'firefox.exe',
|
| 'git': 'git',
|
| 'svn': 'svn'
|
| @@ -48,7 +44,6 @@ EXECUTABLE_NAMES = {
|
| 'chrome': 'Chrome',
|
| 'content_shell': 'Content Shell',
|
| 'dart': 'dart',
|
| - 'editor': 'DartEditor',
|
| 'firefox': 'firefox',
|
| 'safari': 'Safari',
|
| 'git': 'git',
|
| @@ -70,8 +65,6 @@ def GetOptions():
|
| 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
|
|
|
| @@ -194,14 +187,6 @@ def KillDart():
|
| status = Kill("dart")
|
| return status
|
|
|
| -def KillEditor():
|
| - status = Kill("editor")
|
| - if os_name == "linux":
|
| - # it is important to kill java after editor on linux
|
| - status += Kill("java")
|
| - status += Kill("eggplant")
|
| - return status
|
| -
|
| def Main():
|
| options = GetOptions()
|
| status = 0
|
| @@ -211,8 +196,6 @@ def Main():
|
| status += KillVCSystems()
|
| if options.kill_browsers:
|
| status += KillBrowsers()
|
| - if options.kill_editor:
|
| - status += KillEditor()
|
| return status
|
|
|
| if __name__ == '__main__':
|
|
|