Searched refs:stop_code (Results 1 – 1 of 1) sorted by relevance
472 const char stop_code[1] = { '\0' }; in stop_workers() local480 push_work(i, stop_code); in stop_workers()