sort the urls in the todo list

diff --git a/Tools/webchecker/webchecker.py b/Tools/webchecker/webchecker.py
index bf56cece355d3594a99eebc46da20597753f9a94..285d04494b1fc681c30a893666c0656d73e7fcb8 100755 (executable)
--- a/Tools/webchecker/webchecker.py
+++ b/Tools/webchecker/webchecker.py
@@ -297,7 +297,9 @@ class Checker:
                 print
                 print "Round %d (%s)" % (self.round, self.status())
                 print 
-            urls = self.todo.keys()[:self.roundsize]
+            urls = self.todo.keys()
+            urls.sort()
+            del urls[self.roundsize:]
             for url in urls:
                 self.dopage(url)