This is actually duplicating logic from serverstop.sh; would it be OK to simply "source" / call that file?