aboutsummaryrefslogtreecommitdiffstats
path: root/src/satd-diminished.c
diff options
context:
space:
mode:
authorMattias Andrée <maandree@member.fsf.org>2016-01-01 23:52:52 +0100
committerMattias Andrée <maandree@member.fsf.org>2016-01-01 23:52:52 +0100
commit9ca36e629832929ed29d9991d1fe30c52f88bd9a (patch)
tree49467e516fb66b3e38020fefc18bdfdc213e90e0 /src/satd-diminished.c
parentwe do not have socket anymore, so we cannot unlink it when we are done (diff)
downloadsat-9ca36e629832929ed29d9991d1fe30c52f88bd9a.tar.gz
sat-9ca36e629832929ed29d9991d1fe30c52f88bd9a.tar.bz2
sat-9ca36e629832929ed29d9991d1fe30c52f88bd9a.tar.xz
m
Signed-off-by: Mattias Andrée <maandree@member.fsf.org>
Diffstat (limited to 'src/satd-diminished.c')
-rw-r--r--src/satd-diminished.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/satd-diminished.c b/src/satd-diminished.c
index df1b09f..5404327 100644
--- a/src/satd-diminished.c
+++ b/src/satd-diminished.c
@@ -187,7 +187,7 @@ again:
perror(argv[0]);
}
/* Need to set new timer values? */
- if (expired || ((received_signo == SIGCHLD) && !children))
+ if (expired || ((received_signo == SIGCHLD) && !child_count))
t (expired = 0, spawn(argv, envp));
received_signo = 0;
#if 1 || !defined(DEBUG)