From 520c05c84c2e79e0afab08c1ff6bd13db9e5c416 Mon Sep 17 00:00:00 2001 From: ivanpauno Date: Wed, 14 Aug 2019 18:25:11 -0300 Subject: [PATCH] Use signal.CTRL_C_EVENT on windows instead of signal.SIGINT Signed-off-by: ivanpauno --- launch/launch/actions/execute_process.py | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/launch/launch/actions/execute_process.py b/launch/launch/actions/execute_process.py index ad4f089dc..c9afb182f 100644 --- a/launch/launch/actions/execute_process.py +++ b/launch/launch/actions/execute_process.py @@ -354,12 +354,8 @@ def __on_signal_process_event( return None if platform.system() == 'Windows' and typed_event.signal_name == 'SIGINT': # TODO(wjwwood): remove this when/if SIGINT is fixed on Windows - self.__logger.warning( - "'SIGINT' sent to process[{}] not supported on Windows, escalating to 'SIGTERM'" - .format(self.process_details['name']), - ) typed_event = SignalProcess( - signal_number=signal.SIGTERM, + signal_number=signal.CTRL_C_EVENT, process_matcher=lambda process: True) self.__logger.info("sending signal '{}' to process[{}]".format( typed_event.signal_name, self.process_details['name']