diff options
| author | Guido van Rossum <guido@python.org> | 1998-06-15 12:33:02 +0000 |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1998-06-15 12:33:02 +0000 |
| commit | 6eb9d32c436af46527ed5874af4f3ce4fe5a6ccb (patch) | |
| tree | 93bd1db9ab87b44fb828cd7a152c3115e828eaef /Tools/webchecker/webchecker.py | |
| parent | 62320c9b9b4449feacf73980c19979f0e4abb655 (diff) | |
| download | cpython-git-6eb9d32c436af46527ed5874af4f3ce4fe5a6ccb.tar.gz | |
sort the urls in the todo list
Diffstat (limited to 'Tools/webchecker/webchecker.py')
| -rwxr-xr-x | Tools/webchecker/webchecker.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Tools/webchecker/webchecker.py b/Tools/webchecker/webchecker.py index bf56cece35..285d04494b 100755 --- 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) |
