On Mon, Aug 27, 2007 at 12:28:44AM -0400, Chris Ross wrote:
> # reboot
> Aug 27 04:15:55 reboot: rebooted by root
> syncing disks... done
> unmounting file systems... done
> cpu0: shutting down
> t
> 
> RED State Exception

Yes, it is supposed to work - that is a bug, I'll have a look.

Martin