comparison CONTRAT_SOCIAL @ 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 1e3b1f9ad6e2
children 1d12e7a3401d
comparison
equal deleted inserted replaced
1877:a97db84c048d 1878:7a07f232e7cb