| Index: tools/task_kill.py
|
| diff --git a/tools/task_kill.py b/tools/task_kill.py
|
| index a0911649130a6b725f12b37724ac911bea90b792..4a54965319411cf521b958c3068280eaaf4b1cf0 100755
|
| --- a/tools/task_kill.py
|
| +++ b/tools/task_kill.py
|
| @@ -30,7 +30,9 @@ EXECUTABLE_NAMES = {
|
| 'iexplore': 'iexplore.exe',
|
| 'firefox': 'firefox.exe',
|
| 'git': 'git.exe',
|
| - 'svn': 'svn.exe'
|
| + 'svn': 'svn.exe',
|
| + 'fletch': 'fletch.exe',
|
| + 'fletch-vm': 'fletch-vm.exe',
|
| },
|
| 'linux': {
|
| 'chrome': 'chrome',
|
| @@ -38,7 +40,9 @@ EXECUTABLE_NAMES = {
|
| 'dart': 'dart',
|
| 'firefox': 'firefox.exe',
|
| 'git': 'git',
|
| - 'svn': 'svn'
|
| + 'svn': 'svn',
|
| + 'fletch': 'fletch',
|
| + 'fletch-vm': 'fletch-vm',
|
| },
|
| 'macos': {
|
| 'chrome': 'Chrome',
|
| @@ -47,7 +51,9 @@ EXECUTABLE_NAMES = {
|
| 'firefox': 'firefox',
|
| 'safari': 'Safari',
|
| 'git': 'git',
|
| - 'svn': 'svn'
|
| + 'svn': 'svn',
|
| + 'fletch': 'fletch',
|
| + 'fletch-vm': 'fletch-vm',
|
| }
|
| }
|
|
|
| @@ -61,6 +67,8 @@ def GetOptions():
|
| parser = optparse.OptionParser("usage: %prog [options]")
|
| parser.add_option("--kill_dart", default=True,
|
| help="Kill all dart processes")
|
| + parser.add_option("--kill_fletch", default=True,
|
| + help="Kill all fletch and fletch-vm processes")
|
| parser.add_option("--kill_vc", default=True,
|
| help="Kill all git and svn processes")
|
| parser.add_option("--kill_browsers", default=False,
|
| @@ -189,11 +197,18 @@ def KillDart():
|
| status = Kill("dart")
|
| return status
|
|
|
| +def KillFletch():
|
| + status = Kill("fletch")
|
| + status += Kill("fletch-vm")
|
| + return status
|
| +
|
| def Main():
|
| options = GetOptions()
|
| status = 0
|
| if options.kill_dart:
|
| status += KillDart()
|
| + if options.kill_fletch:
|
| + status += KillFletch()
|
| if options.kill_vc:
|
| status += KillVCSystems()
|
| if options.kill_browsers:
|
|
|