Re: [hunchentoot-devel] PATCH: simplify debugging of remote servers