REBOOT(1) REBOOT(1)
NAME
reboot - reboot terminal after connection loss
SYNOPSIS
o/reboot
DESCRIPTION
Reboot polls the file /mnt/registry/index for existence and
reboots the terminal software (i.e., kills Inferno on hosted
systems) upon errors. That file comes from the PC and must
be available as long as the terminal is connected to the PC.
This can be used by a native program to restart the terminal
software if the connection to the PC is lost, by waiting and
trying again to start an Octopus terminal if it dies.
SOURCE
/usr/octopus/port/reboot.b