HOWTO: Update to 0.8.5, apt-get deps, other minor tweaks
[electrum-server.git] / stop
1 #!/bin/bash
2 /usr/bin/python server.py stop