aboutsummaryrefslogtreecommitdiffstats
path: root/src/satd-diminished.c
diff options
context:
space:
mode:
authorMattias Andrée <maandree@member.fsf.org>2015-12-28 16:23:09 +0100
committerMattias Andrée <maandree@member.fsf.org>2015-12-28 16:23:09 +0100
commit2ac549c681ec953f0dacb056de51d2e650113578 (patch)
tree505140d611251a27349ec0e8a7e2f7fcee582d79 /src/satd-diminished.c
parentsat only has one queue (diff)
downloadsat-2ac549c681ec953f0dacb056de51d2e650113578.tar.gz
sat-2ac549c681ec953f0dacb056de51d2e650113578.tar.bz2
sat-2ac549c681ec953f0dacb056de51d2e650113578.tar.xz
close state file + unlink before closing to avoid race condition
Signed-off-by: Mattias Andrée <maandree@member.fsf.org>
Diffstat (limited to 'src/satd-diminished.c')
-rw-r--r--src/satd-diminished.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/satd-diminished.c b/src/satd-diminished.c
index 632e29b..48ada56 100644
--- a/src/satd-diminished.c
+++ b/src/satd-diminished.c
@@ -76,9 +76,10 @@ main(int argc, char *argv[])
shutdown(fd, SHUT_RDWR);
close(fd);
- close(SOCK_FILENO);
unlink(argv[1]);
unlink(argv[2]); /* Only on success! */
+ close(SOCK_FILENO);
+ close(STATE_FILENO);
return 0;
(void) argc;
}