diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2026-11-08 20:05:02 +0100 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2026-11-08 20:05:02 +0100 |
| commit | 1829ce1647b6fd5d9a9e320e7c6e3a0cf7095bbd (patch) | |
| tree | 35a12fa18e18b255dc3cef4f4107e924305a343d /src/ot_clean.c | |
| parent | 589cb500fa5a6df13fa9634d0071922ec11fce17 (diff) | |
panic when we can't install essential worker threads
Diffstat (limited to 'src/ot_clean.c')
| -rw-r--r-- | src/ot_clean.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ot_clean.c b/src/ot_clean.c index 130bd2a..8eb1da2 100644 --- a/src/ot_clean.c +++ b/src/ot_clean.c | |||
| @@ -193,7 +193,8 @@ static pthread_t thread_id; | |||
| 193 | void clean_init(void) { | 193 | void clean_init(void) { |
| 194 | if (pipe(g_clean_pipe) == -1) | 194 | if (pipe(g_clean_pipe) == -1) |
| 195 | fprintf(stderr, "Warning: the cleaner has no pipe to be woken through and will take up to one sleep interval to stop.\n"); | 195 | fprintf(stderr, "Warning: the cleaner has no pipe to be woken through and will take up to one sleep interval to stop.\n"); |
| 196 | pthread_create(&thread_id, NULL, clean_worker, NULL); | 196 | if (pthread_create(&thread_id, NULL, clean_worker, NULL)) |
| 197 | exerr("Cannot create cleanup worker thread."); | ||
| 197 | } | 198 | } |
| 198 | 199 | ||
| 199 | void clean_deinit(void) { | 200 | void clean_deinit(void) { |
