#7 Killing doc-manager leavs pop11 process using 100% cpu

[david Moss]

Killing and restarting the plugin from the Plugin
Manager after a local documentation server has been
started has the side effect of forking a process that
uses 100% CPU.

NOTE:
This should only affect developers, as users don't have
to reload the plugin.