URLInformation info = new URLInformation(url);
String pubId = info.getPublicationId();
DocumentFactory factory = getDocumentFactory();
Publication pub = factory.getPublication(pubId);
Area area = pub.getArea(info.getArea());
Document[] docs = area.getDocuments();
IndexUpdater updater = null;
try {
updater = (IndexUpdater) this.manager.lookup(IndexUpdater.ROLE);
for (int i = 0; i < docs.length; i++) {
try {
updater.index(getSession(), docs[i].getResourceType(), pubId, area.getName(),
docs[i].getUUID(), docs[i].getLanguage());
} catch (Exception e) {
String message = "Error indexing document [" + docs[i].getPath() + ":"
+ docs[i].getLanguage() + "], UUID=" + docs[i].getUUID();
addErrorMessage(e + ", see logfiles for more information.");