provide stop-server function