#
# This is the system shutdown script.  It provides a hook for adding
# functionality at the end of the shutdown process. This file is executed
# as the last step in the shutdown (or restart) process, after all
# running application are closed. Only remaining teams are the app_serve
# registrar and the kernel itself.
#
# Do not edit or change this file.  
#
# If you want to add shutdown customizations, add them to the file
# $HOME/config/boot/UserShutdownScript.  This script checks for that 
# file and makes sure that it gets executed if it exists (that is 
# done as the last thing before exiting).
#
#

export HOME=/boot/home

if [ -f $HOME/config/boot/UserShutdownFinishScript ]
then
      . $HOME/config/boot/UserShutdownFinishScript	# give users a shot too
fi

