diff .arcconfig @ 45057:d6e99a446eea

cmdserver: add option to not exit from message loop on SIGINT Sending SIGINT to server is the only way to interrupt a command running in command-server process. SIGINT will be caught at dispatch.dispatch() if we're lucky. Otherwise it will terminate the serer process. This is fundamentally unreliable as signals are delivered asynchronously. "cmdserver.shutdown-on-interrupt=False" mitigate the issue by making the server basically block SIGINT.
author Yuya Nishihara <yuya@tcha.org>
date Sat, 27 Jun 2020 21:46:23 +0900
parents ff396501e841
children
line wrap: on
line diff