pingExempt.add(dom);
resp.getWriter().println("Updated domains exempt from pings. Current set: <br/>");
resp.getWriter().println(pingExempt);
} else if (req.getParameter("delExDom") != null) {
pingExempt.add(dom);
resp.getWriter().println("Updated domains exempt from pings. Current set: <br/>");
resp.getWriter().println(pingExempt);
} else if (req.getParameter("delExDom") != null) {