This may not be an issue with the extension; if it is, it's presumably the worker thread that causes it.
When shut down, the process is still around, needing to be killed - usually manually.
If there are several servers running, copying/renaming the .exe used will help distinguish it from the others.
Perhaps check the count of thread_attach vs thread_detach?