Added stop(String[] args) method for prunsrv.