comparison src/core/__init__.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 608a4a2ba94e
children
comparison
equal deleted inserted replaced
1877:a97db84c048d 1878:7a07f232e7cb