opencog/python-client — pull request #8 by cosmoharrigan (2014-11-26 07:58:38+00:00)
Title: Update stop server method for non-Vagrant clients

To address issue reported by @anitzkin