fixing manager servlets