| Index: third_party/WebKit/Tools/Scripts/webkitpy/common/system/executive.py
|
| diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/executive.py b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/executive.py
|
| index 492eb45de15a334b45a059f6b243c8bcf3aaba60..30c3a8c744eb902d4c7b7e4180700a0e932a06e8 100644
|
| --- a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/executive.py
|
| +++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/executive.py
|
| @@ -292,8 +292,9 @@ class Executive(object):
|
|
|
| def interrupt(self, pid):
|
| interrupt_signal = signal.SIGINT
|
| - # FIXME: The python docs seem to imply that platform == 'win32' may need to use signal.CTRL_C_EVENT
|
| - # http://docs.python.org/2/library/signal.html
|
| + # Note: The python docs seem to suggest that on Windows, we may want to use
|
| + # signal.CTRL_C_EVENT (http://docs.python.org/2/library/signal.html), but
|
| + # it appears that signal.SIGINT also appears to work on Windows.
|
| try:
|
| os.kill(pid, interrupt_signal)
|
| except OSError:
|
|
|