stop-headless

#!/bin/bash
if [ -f rest-ws.pid ]; then
	kill `cat rest-ws.pid`
	rm rest-ws.pid
fi