chiark / gitweb /
reboot: handle -p switch properly