diff src/plugins/plugin_exp_pipe.py @ 1878:7a07f232e7cb

misc (sat.sh): exec + better stop: - use exec to launch twistd which is specially useful in foreground mode, so signals and other stuff are handled correctly - sat.sh stop now wait until the backend is actually stopped before exiting (before it was just sending the signal and leaving)
author Goffi <goffi@goffi.org>
date Fri, 04 Mar 2016 23:24:06 +0100
parents d17772b0fe22
children 2daf7b4c6756
line wrap: on
line diff