lars
committed
on 24 Sep 03
Fixed bug #825: bootstrap and package installer shut server down with [exit] instead of [ns_shutdown]