skip known identifiers in initial request list
authorDavid ‘Bombe’ Roden <bombe@pterodactylus.net>
Wed, 14 May 2008 16:13:42 +0000 (16:13 +0000)
committerDavid ‘Bombe’ Roden <bombe@pterodactylus.net>
Wed, 14 May 2008 16:13:42 +0000 (16:13 +0000)
git-svn-id: http://trooper/svn/projects/jSite/trunk@881 c3eda9e8-030b-0410-8277-bc7414b0a119

src/net/pterodactylus/jsite/core/RequestManager.java

index 4efd9d9..a90207b 100644 (file)
@@ -173,7 +173,11 @@ public class RequestManager implements NodeListener, HighLevelProgressListener {
                                        return;
                                }
                                for (RequestResult requestResult: requestListResult) {
-                                       Request request = new Request(node, requestResult.getIdentifier());
+                                       String identifier = requestResult.getIdentifier();
+                                       if (identifierRequests.containsKey(identifier)) {
+                                               continue;
+                                       }
+                                       Request request = new Request(node, identifier);
                                        identifierRequests.put(requestResult.getIdentifier(), request);
                                        /* TODO - fill request */
                                        fireRequestAdded(request);