类 ServletManager


  • public class ServletManager
    extends Object
    TODO this may not be a pretty elegant solution,
    • 字段详细资料

      • EXTERNAL_SERVER_PORT

        public static final int EXTERNAL_SERVER_PORT
        另请参阅:
        常量字段值
    • 构造器详细资料

      • ServletManager

        public ServletManager()
    • 方法详细资料

      • addServletContext

        public void addServletContext(int port,
                                      javax.servlet.ServletContext servletContext)
      • removeServletContext

        public void removeServletContext(int port)
      • getServletContext

        public javax.servlet.ServletContext getServletContext(int port)