added Ids

[spider.git] / cmd / shutdown

#
# the shutdown command
# 
# $Id$
#
&main::cease();