explicitly stop server in stop_ok
v0.12_03

  - Experimental: explicitly stop server before undefing in stop_ok