@Override
    public void init(ServletConfig config) throws ServletException {
        
        ServletContext sc = config.getServletContext();
        botmgr = (UidBaseElementManager) sc.getAttribute("BOT_MANAGER");
        if (botmgr == null) {
            System.err.println("Cound not obtain BOT MANAGER from the servlet context");
        }
        else {
            System.err.println("Successfully retrieved BOT MANAGER");
        }
    }