server/restart.sh
mathias a3db6a656e Latest changes
Former-commit-id: 6ac08c74551427841dd702da87daf695100a0eb8
2018-12-18 04:40:05 +02:00

3 lines
32 B
Bash

#!/bin/sh
kill -9 $(pgrep java)