pydoc: close the DocServer when done
1 file changed