From 9285c9ff263d90439810735ddca074b4b4193f05 Mon Sep 17 00:00:00 2001 From: Lukas Nykryn Date: Wed, 28 Aug 2013 19:27:44 +0200 Subject: service: remove pidfile after exit of a service --- src/core/service.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src') diff --git a/src/core/service.c b/src/core/service.c index 4070fd741b..34dde7963e 100644 --- a/src/core/service.c +++ b/src/core/service.c @@ -1957,6 +1957,12 @@ static void service_enter_dead(Service *s, ServiceResult f, bool allow_restart) /* we want fresh tmpdirs in case service is started again immediately */ exec_context_tmp_dirs_done(&s->exec_context); + /* Try to delete the pid file. At this point it will be + * out-of-date, and some software might be confused by it, so + * let's remove it. */ + if (s->pid_file) + unlink_noerrno(s->pid_file); + return; fail: -- cgit v1.2.3-54-g00ecf