| 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: | 
|  |