diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-05-29 13:06:33 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-05-29 13:06:33 +0000 |
commit | cfd880578bd21f9adedba557291c903d325e93cd (patch) | |
tree | 3f9c7459127646523b58905e345f290867f619f6 /src/util/os_priority.c | |
parent | 3e558d2e9f22c96328d27e5cd35a5da3866e3543 (diff) | |
download | gnunet-cfd880578bd21f9adedba557291c903d325e93cd.tar.gz gnunet-cfd880578bd21f9adedba557291c903d325e93cd.zip |
fixing #3799: only unindex if DB operations succeeded previously in the first place, and when unindexing do proper shutdown handling
Diffstat (limited to 'src/util/os_priority.c')
-rw-r--r-- | src/util/os_priority.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/os_priority.c b/src/util/os_priority.c index 480ca09bb..065009ae5 100644 --- a/src/util/os_priority.c +++ b/src/util/os_priority.c | |||
@@ -492,6 +492,7 @@ open_dev_null (int target_fd, | |||
492 | * (when they are non-NULL). | 492 | * (when they are non-NULL). |
493 | * @param pipe_stdin pipe to use to send input to child process (or NULL) | 493 | * @param pipe_stdin pipe to use to send input to child process (or NULL) |
494 | * @param pipe_stdout pipe to use to get output from child process (or NULL) | 494 | * @param pipe_stdout pipe to use to get output from child process (or NULL) |
495 | * @param pipe_stderr pipe to use for stderr for child process (or NULL) | ||
495 | * @param lsocks array of listen sockets to dup systemd-style (or NULL); | 496 | * @param lsocks array of listen sockets to dup systemd-style (or NULL); |
496 | * must be NULL on platforms where dup is not supported | 497 | * must be NULL on platforms where dup is not supported |
497 | * @param filename name of the binary | 498 | * @param filename name of the binary |