Re: [Engine-devel] Minor question concerning ServerException class