<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.2800.1126" name=GENERATOR></HEAD>
<BODY>
<DIV><SPAN class=670164517-13062003><FONT face=Arial size=2>Hello
List,</FONT></SPAN></DIV>
<DIV><SPAN class=670164517-13062003><FONT face=Arial
size=2></FONT></SPAN> </DIV>
<DIV><SPAN class=670164517-13062003><FONT face=Arial size=2>can anybody tell if
I have to restart tomcat (4.1.24) after changing
WEB-INF/config/registry.xml?</FONT></SPAN></DIV>
<DIV><SPAN class=670164517-13062003><FONT face=Arial
size=2></FONT></SPAN> </DIV>
<DIV><SPAN class=670164517-13062003><FONT face=Arial
size=2>TIA</FONT></SPAN></DIV>
<DIV><SPAN class=670164517-13062003><FONT face=Arial
size=2></FONT></SPAN> </DIV>
<DIV><SPAN class=670164517-13062003><FONT face=Arial
size=2>Kai</FONT></SPAN></DIV></BODY></HTML>