Thanks for your reply, Prototyped. Some of the remote setups at work do have a remote rebooting facility added, others don't. In this particular case, I can simply login via SSH, and reboot the ...