/** Servlet initialization method. */
public void init(ServletConfig config) throws ServletException {
super.init(config);
java.util.Enumeration en = config.getInitParameterNames();
while (en.hasMoreElements()) {
String parm = (String) en.nextElement();
String value = config.getInitParameter(parm);
TradeConfig.setConfigParam(parm, value);
}
}
