>>>>> "JHL" == John H Lee <[EMAIL PROTECTED]> writes:
JHL> I can't find archives for this list (or any other Jakarta
JHL> list!). URL?
Take a close look at the welcome messages you've received when you
subscribed to this group (or any other Jakarta list! 8^).
JHL> As I'm sure you know, ${serverroot} == "${home}/serverroot",
There has been a patch by Glenn McAllister addressing this issue. It's
lying on my disk and waiting to be reviewed and commited. Should
happen today.
Stefan
