plan9fox/rc/bin/reboot

#!/bin/rc
echo reboot $* > /dev/reboot
Import sources from 2011-03-30 iso image - rc 2011-03-30 14:14:36 +00:00			`#!/bin/rc`
			`echo reboot $* > /dev/reboot`