diff frontends/src/quick_frontend/quick_app.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 d678b723460b
children 70ce9421c4d3
line wrap: on
line diff