HomePhabricator

cmdserver: add option to not exit from message loop on SIGINT

Authored by yuja.

Description

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.

Details

Committed
yujaJun 27 2020, 8:46 AM
Parents
rHG9694895749ad: pycompat: remove pycompat.{stdin,stdout,stderr}
Branches
Unknown
Tags
Unknown