Update stop server method for non-Vagrant clients

To address issue reported by @anitzkin