[hunchentoot-devel] Soft shutdown