diff options
| -rw-r--r-- | kern/work.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kern/work.c b/kern/work.c index 6c0ed626..5c33eb77 100644 --- a/kern/work.c +++ b/kern/work.c @@ -259,7 +259,9 @@ work_pool_wakeup_manager(struct work_pool *pool) return; } - thread_wakeup(pool->manager->thread); + if (pool->manager != NULL) { + thread_wakeup(pool->manager->thread); + } } static void |