(07-16-2013, 01:49 AM)bearbin Wrote: Now the RPi buildserver is fixed, will this support Raspis?
If thou meanest this script, it should, once the wget address is changed.
PHP can stop MCServer? Wow! You learn something new every day.
I guess for the unresponsive restart, send SIGTERM, then maybe thirty seconds later, SIGKILL?
Xoft: MCServer does respond well to SIGTERM, correct?