Nope. Since this is in __del__, which means that the pool is being reclaimed, the semaphore is also being reclaimed, so we don't need to clean it up. Thanks for the reminder.