chiark / gitweb /
service: fix auto-restart handling in service_stop()