Searched refs:servlet_name (Results 1 – 1 of 1) sorted by relevance
1290 trace("servlet-name=" + servlet_name); in processWebXml()1292 ServletReg reg = new ServletReg(servlet_name); in processWebXml()1334 + servlet_name + "' is ignored"); in processWebXml()1338 name2servlet_.put(servlet_name, reg); in processWebXml()1351 trace("servlet-name=" + servlet_name); in processWebXml()1353 ServletReg reg = name2servlet_.get(servlet_name); in processWebXml()1674 String servlet_name = ann.name();1676 if (servlet_name.isEmpty()) {1677 servlet_name = ci.getName();1683 reg = new ServletReg(servlet_name, cls);[all …]