if (!url.startsWith(HTTP_PREFIX) && !url.startsWith(HTTPS_PREFIX)) {
url = HTTP_PREFIX + url;
}
//RobotsContext context = robotsCache.forceUpdate(url, minUpdateTime);
RobotsResult result = robotsCache.forceUpdate(url, minUpdateTime, false);
if (result == null) {
writer.println("<p>Error Updating Robots (see logs)</p>");
return true;
}
if (!result.isSameRobots()) {
writer.println("<b>UPDATED Robots</b>");
writer.println("<p><i>Old Robots:</i></p>");
writer.println("<pre>" + result.oldRobots + "</pre>");
writer.println("<p><i>NEW Updated Robots:</i></p>");
} else {