shutdown
NAME
shutdown
- shutdown the system
SYNOPSIS
void shutdown()
DESCRIPTION
Shut down the system after the current user typed command has finished.
HTMLised 1998 Greg Lewis (
glewis@maths.adelaide.edu.au
)