Index: gs3-extensions/html-to-expeditee/trunk/src/src/cgi-bin/html-to-expeditee.pl.in
===================================================================
--- gs3-extensions/html-to-expeditee/trunk/src/src/cgi-bin/html-to-expeditee.pl.in (revision 26511)
+++ gs3-extensions/html-to-expeditee/trunk/src/src/cgi-bin/html-to-expeditee.pl.in (revision 26518)
@@ -147,11 +147,12 @@
}
else if (href.match(docRE)) {
-
+ if(!visitedURLS[href]){
var docMatch = docRE.exec(href);
var docOID = docMatch[1];
// console.log("found a new doc line: " + docOID);
-
+ visitedURLs[href] = 1;
docOIDs.push(docOID);
+ }
}
}