runit

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit f2fae9e20045f5a9dd516e7c3c1dba6232e12c36
parent e2750abe95ddc54bd601965af5c251a375abf4d7
Author: Gerrit Pape <pape@smarden.org>
Date:   Fri, 27 Sep 2002 11:32:00 +0000

fix state finish.

Diffstat:
Msrc/runsv.c | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runsv.c b/src/runsv.c @@ -457,7 +457,7 @@ int main(int argc, char **argv) { if (child == svd[0].pid) { svd[0].pid =0; pidchanged =1; - if (open_read("finish") != -1) { + if ((svd[0].state != S_FINISH) && (open_read("finish") != -1)) { svd[0].state =S_FINISH; startservice(&svd[0]); update_status(&svd[0]);