Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 1 | #! /usr/bin/env python |
| 2 | |
| 3 | """Web tree checker. |
| 4 | |
| 5 | This utility is handy to check a subweb of the world-wide web for |
| 6 | errors. A subweb is specified by giving one or more ``root URLs''; a |
| 7 | page belongs to the subweb if one of the root URLs is an initial |
| 8 | prefix of it. |
| 9 | |
| 10 | File URL extension: |
| 11 | |
| 12 | In order to easy the checking of subwebs via the local file system, |
| 13 | the interpretation of ``file:'' URLs is extended to mimic the behavior |
| 14 | of your average HTTP daemon: if a directory pathname is given, the |
| 15 | file index.html in that directory is returned if it exists, otherwise |
| 16 | a directory listing is returned. Now, you can point webchecker to the |
| 17 | document tree in the local file system of your HTTP daemon, and have |
| 18 | most of it checked. In fact the default works this way if your local |
| 19 | web tree is located at /usr/local/etc/httpd/htdpcs (the default for |
| 20 | the NCSA HTTP daemon and probably others). |
| 21 | |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 22 | Report printed: |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 23 | |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 24 | When done, it reports pages with bad links within the subweb. When |
| 25 | interrupted, it reports for the pages that it has checked already. |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 26 | |
| 27 | In verbose mode, additional messages are printed during the |
| 28 | information gathering phase. By default, it prints a summary of its |
| 29 | work status every 50 URLs (adjustable with the -r option), and it |
| 30 | reports errors as they are encountered. Use the -q option to disable |
| 31 | this output. |
| 32 | |
| 33 | Checkpoint feature: |
| 34 | |
| 35 | Whether interrupted or not, it dumps its state (a Python pickle) to a |
| 36 | checkpoint file and the -R option allows it to restart from the |
| 37 | checkpoint (assuming that the pages on the subweb that were already |
| 38 | processed haven't changed). Even when it has run till completion, -R |
| 39 | can still be useful -- it will print the reports again, and -Rq prints |
| 40 | the errors only. In this case, the checkpoint file is not written |
| 41 | again. The checkpoint file can be set with the -d option. |
| 42 | |
| 43 | The checkpoint file is written as a Python pickle. Remember that |
| 44 | Python's pickle module is currently quite slow. Give it the time it |
| 45 | needs to load and save the checkpoint file. When interrupted while |
| 46 | writing the checkpoint file, the old checkpoint file is not |
| 47 | overwritten, but all work done in the current run is lost. |
| 48 | |
| 49 | Miscellaneous: |
| 50 | |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 51 | - You may find the (Tk-based) GUI version easier to use. See wcgui.py. |
| 52 | |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 53 | - Webchecker honors the "robots.txt" convention. Thanks to Skip |
| 54 | Montanaro for his robotparser.py module (included in this directory)! |
| 55 | The agent name is hardwired to "webchecker". URLs that are disallowed |
| 56 | by the robots.txt file are reported as external URLs. |
| 57 | |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 58 | - Because the SGML parser is a bit slow, very large SGML files are |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 59 | skipped. The size limit can be set with the -m option. |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 60 | |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 61 | - When the server or protocol does not tell us a file's type, we guess |
| 62 | it based on the URL's suffix. The mimetypes.py module (also in this |
| 63 | directory) has a built-in table mapping most currently known suffixes, |
| 64 | and in addition attempts to read the mime.types configuration files in |
| 65 | the default locations of Netscape and the NCSA HTTP daemon. |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 66 | |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 67 | - We follows links indicated by <A>, <FRAME> and <IMG> tags. We also |
| 68 | honor the <BASE> tag. |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 69 | |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 70 | - Checking external links is now done by default; use -x to *disable* |
| 71 | this feature. External links are now checked during normal |
| 72 | processing. (XXX The status of a checked link could be categorized |
| 73 | better. Later...) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 74 | |
| 75 | |
| 76 | Usage: webchecker.py [option] ... [rooturl] ... |
| 77 | |
| 78 | Options: |
| 79 | |
| 80 | -R -- restart from checkpoint file |
| 81 | -d file -- checkpoint filename (default %(DUMPFILE)s) |
| 82 | -m bytes -- skip HTML pages larger than this size (default %(MAXPAGE)d) |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 83 | -n -- reports only, no checking (use with -R) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 84 | -q -- quiet operation (also suppresses external links report) |
| 85 | -r number -- number of links processed per round (default %(ROUNDSIZE)d) |
| 86 | -v -- verbose operation; repeating -v will increase verbosity |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 87 | -x -- don't check external links (these are often slow to check) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 88 | |
| 89 | Arguments: |
| 90 | |
| 91 | rooturl -- URL to start checking |
| 92 | (default %(DEFROOT)s) |
| 93 | |
| 94 | """ |
| 95 | |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 96 | |
Guido van Rossum | 89efda3 | 1997-05-07 15:00:56 +0000 | [diff] [blame] | 97 | __version__ = "0.5" |
Guido van Rossum | 325a64f | 1997-01-30 03:30:20 +0000 | [diff] [blame] | 98 | |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 99 | |
| 100 | import sys |
| 101 | import os |
| 102 | from types import * |
| 103 | import string |
| 104 | import StringIO |
| 105 | import getopt |
| 106 | import pickle |
| 107 | |
| 108 | import urllib |
| 109 | import urlparse |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 110 | import sgmllib |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 111 | |
| 112 | import mimetypes |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 113 | import robotparser |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 114 | |
| 115 | |
| 116 | # Tunable parameters |
| 117 | DEFROOT = "file:/usr/local/etc/httpd/htdocs/" # Default root URL |
Guido van Rossum | 0b0b5f0 | 1997-01-31 18:57:23 +0000 | [diff] [blame] | 118 | MAXPAGE = 150000 # Ignore files bigger than this |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 119 | ROUNDSIZE = 50 # Number of links processed per round |
| 120 | DUMPFILE = "@webchecker.pickle" # Pickled checkpoint |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 121 | AGENTNAME = "webchecker" # Agent name for robots.txt parser |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 122 | |
| 123 | |
| 124 | # Global variables |
| 125 | verbose = 1 |
| 126 | maxpage = MAXPAGE |
| 127 | roundsize = ROUNDSIZE |
| 128 | |
| 129 | |
| 130 | def main(): |
| 131 | global verbose, maxpage, roundsize |
| 132 | dumpfile = DUMPFILE |
| 133 | restart = 0 |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 134 | checkext = 1 |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 135 | norun = 0 |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 136 | |
| 137 | try: |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 138 | opts, args = getopt.getopt(sys.argv[1:], 'Rd:m:nqr:vx') |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 139 | except getopt.error, msg: |
| 140 | sys.stdout = sys.stderr |
| 141 | print msg |
Guido van Rossum | 0b0b5f0 | 1997-01-31 18:57:23 +0000 | [diff] [blame] | 142 | print __doc__%globals() |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 143 | sys.exit(2) |
| 144 | for o, a in opts: |
| 145 | if o == '-R': |
| 146 | restart = 1 |
| 147 | if o == '-d': |
| 148 | dumpfile = a |
| 149 | if o == '-m': |
| 150 | maxpage = string.atoi(a) |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 151 | if o == '-n': |
| 152 | norun = 1 |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 153 | if o == '-q': |
| 154 | verbose = 0 |
| 155 | if o == '-r': |
| 156 | roundsize = string.atoi(a) |
| 157 | if o == '-v': |
| 158 | verbose = verbose + 1 |
Guido van Rossum | de66268 | 1997-01-30 03:58:21 +0000 | [diff] [blame] | 159 | if o == '-x': |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 160 | checkext = not checkext |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 161 | |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 162 | if verbose > 0: |
Guido van Rossum | 325a64f | 1997-01-30 03:30:20 +0000 | [diff] [blame] | 163 | print AGENTNAME, "version", __version__ |
| 164 | |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 165 | if restart: |
| 166 | if verbose > 0: |
| 167 | print "Loading checkpoint from %s ..." % dumpfile |
| 168 | f = open(dumpfile, "rb") |
| 169 | c = pickle.load(f) |
| 170 | f.close() |
| 171 | if verbose > 0: |
| 172 | print "Done." |
| 173 | print "Root:", string.join(c.roots, "\n ") |
| 174 | else: |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 175 | c = Checker(checkext) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 176 | if not args: |
| 177 | args.append(DEFROOT) |
| 178 | |
| 179 | for arg in args: |
| 180 | c.addroot(arg) |
| 181 | |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 182 | if not norun: |
| 183 | try: |
| 184 | c.run() |
| 185 | except KeyboardInterrupt: |
| 186 | if verbose > 0: |
| 187 | print "[run interrupted]" |
| 188 | |
Guido van Rossum | de66268 | 1997-01-30 03:58:21 +0000 | [diff] [blame] | 189 | try: |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 190 | c.report() |
Guido van Rossum | de66268 | 1997-01-30 03:58:21 +0000 | [diff] [blame] | 191 | except KeyboardInterrupt: |
| 192 | if verbose > 0: |
| 193 | print "[report interrupted]" |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 194 | |
| 195 | if not c.changed: |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 196 | if verbose > 0: |
| 197 | print |
| 198 | print "No need to save checkpoint" |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 199 | elif not dumpfile: |
| 200 | if verbose > 0: |
| 201 | print "No dumpfile, won't save checkpoint" |
| 202 | else: |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 203 | if verbose > 0: |
| 204 | print |
| 205 | print "Saving checkpoint to %s ..." % dumpfile |
| 206 | newfile = dumpfile + ".new" |
| 207 | f = open(newfile, "wb") |
| 208 | pickle.dump(c, f) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 209 | f.close() |
| 210 | try: |
| 211 | os.unlink(dumpfile) |
| 212 | except os.error: |
| 213 | pass |
| 214 | os.rename(newfile, dumpfile) |
| 215 | if verbose > 0: |
| 216 | print "Done." |
| 217 | if dumpfile == DUMPFILE: |
| 218 | print "Use ``%s -R'' to restart." % sys.argv[0] |
| 219 | else: |
| 220 | print "Use ``%s -R -d %s'' to restart." % (sys.argv[0], |
| 221 | dumpfile) |
| 222 | |
| 223 | |
| 224 | class Checker: |
| 225 | |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 226 | def __init__(self, checkext=1): |
| 227 | self.reset() |
| 228 | self.checkext = checkext |
| 229 | |
| 230 | def reset(self): |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 231 | self.roots = [] |
| 232 | self.todo = {} |
| 233 | self.done = {} |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 234 | self.bad = {} |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 235 | self.round = 0 |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 236 | # The following are not pickled: |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 237 | self.robots = {} |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 238 | self.errors = {} |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 239 | self.urlopener = MyURLopener() |
| 240 | self.changed = 0 |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 241 | |
| 242 | def __getstate__(self): |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 243 | return (self.roots, self.todo, self.done, self.bad, self.round) |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 244 | |
| 245 | def __setstate__(self, state): |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 246 | (self.roots, self.todo, self.done, self.bad, self.round) = state |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 247 | for root in self.roots: |
| 248 | self.addrobot(root) |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 249 | for url in self.bad.keys(): |
| 250 | self.markerror(url) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 251 | |
| 252 | def addroot(self, root): |
| 253 | if root not in self.roots: |
| 254 | self.roots.append(root) |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 255 | self.addrobot(root) |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 256 | self.newlink(root, ("<root>", root)) |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 257 | |
| 258 | def addrobot(self, root): |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 259 | url = urlparse.urljoin(root, "/robots.txt") |
Guido van Rossum | 325a64f | 1997-01-30 03:30:20 +0000 | [diff] [blame] | 260 | self.robots[root] = rp = robotparser.RobotFileParser() |
| 261 | if verbose > 2: |
| 262 | print "Parsing", url |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 263 | rp.debug = verbose > 3 |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 264 | rp.set_url(url) |
Guido van Rossum | 325a64f | 1997-01-30 03:30:20 +0000 | [diff] [blame] | 265 | try: |
| 266 | rp.read() |
| 267 | except IOError, msg: |
| 268 | if verbose > 1: |
| 269 | print "I/O error parsing", url, ":", msg |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 270 | |
| 271 | def run(self): |
| 272 | while self.todo: |
| 273 | self.round = self.round + 1 |
| 274 | if verbose > 0: |
| 275 | print |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 276 | print "Round %d (%s)" % (self.round, self.status()) |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 277 | print |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 278 | urls = self.todo.keys()[:roundsize] |
| 279 | for url in urls: |
| 280 | self.dopage(url) |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 281 | |
| 282 | def status(self): |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 283 | return "%d total, %d to do, %d done, %d bad" % ( |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 284 | len(self.todo)+len(self.done), |
| 285 | len(self.todo), len(self.done), |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 286 | len(self.bad)) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 287 | |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 288 | def report(self): |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 289 | print |
| 290 | if not self.todo: print "Final", |
| 291 | else: print "Interim", |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 292 | print "Report (%s)" % self.status() |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 293 | self.report_errors() |
| 294 | |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 295 | def report_errors(self): |
| 296 | if not self.bad: |
| 297 | print |
| 298 | print "No errors" |
| 299 | return |
| 300 | print |
| 301 | print "Error Report:" |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 302 | sources = self.errors.keys() |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 303 | sources.sort() |
| 304 | for source in sources: |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 305 | triples = self.errors[source] |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 306 | print |
| 307 | if len(triples) > 1: |
| 308 | print len(triples), "Errors in", source |
| 309 | else: |
| 310 | print "Error in", source |
| 311 | for url, rawlink, msg in triples: |
| 312 | print " HREF", url, |
| 313 | if rawlink != url: print "(%s)" % rawlink, |
| 314 | print |
| 315 | print " msg", msg |
| 316 | |
| 317 | def dopage(self, url): |
| 318 | if verbose > 1: |
| 319 | if verbose > 2: |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 320 | show("Check ", url, " from", self.todo[url]) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 321 | else: |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 322 | print "Check ", url |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 323 | page = self.getpage(url) |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 324 | if page: |
| 325 | for info in page.getlinkinfos(): |
| 326 | link, rawlink = info |
| 327 | origin = url, rawlink |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 328 | self.newlink(link, origin) |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 329 | self.markdone(url) |
| 330 | |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 331 | def newlink(self, url, origin): |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 332 | if self.done.has_key(url): |
| 333 | self.newdonelink(url, origin) |
| 334 | else: |
| 335 | self.newtodolink(url, origin) |
| 336 | |
| 337 | def newdonelink(self, url, origin): |
| 338 | self.done[url].append(origin) |
| 339 | if verbose > 3: |
| 340 | print " Done link", url |
| 341 | |
| 342 | def newtodolink(self, url, origin): |
| 343 | if self.todo.has_key(url): |
| 344 | self.todo[url].append(origin) |
| 345 | if verbose > 3: |
| 346 | print " Seen todo link", url |
| 347 | else: |
| 348 | self.todo[url] = [origin] |
| 349 | if verbose > 3: |
| 350 | print " New todo link", url |
| 351 | |
| 352 | def markdone(self, url): |
| 353 | self.done[url] = self.todo[url] |
| 354 | del self.todo[url] |
| 355 | self.changed = 1 |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 356 | |
| 357 | def inroots(self, url): |
| 358 | for root in self.roots: |
| 359 | if url[:len(root)] == root: |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 360 | return self.robots[root].can_fetch(AGENTNAME, url) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 361 | return 0 |
| 362 | |
| 363 | def getpage(self, url): |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 364 | if url[:7] == 'mailto:' or url[:5] == 'news:': |
| 365 | if verbose > 1: print " Not checking mailto/news URL" |
| 366 | return None |
| 367 | isint = self.inroots(url) |
| 368 | if not isint and not self.checkext: |
| 369 | if verbose > 1: print " Not checking ext link" |
| 370 | return None |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 371 | try: |
| 372 | f = self.urlopener.open(url) |
| 373 | except IOError, msg: |
Guido van Rossum | 2739cd7 | 1997-01-30 04:26:57 +0000 | [diff] [blame] | 374 | msg = sanitize(msg) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 375 | if verbose > 0: |
| 376 | print "Error ", msg |
| 377 | if verbose > 0: |
| 378 | show(" HREF ", url, " from", self.todo[url]) |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 379 | self.setbad(url, msg) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 380 | return None |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 381 | if not isint: |
| 382 | if verbose > 1: print " Not gathering links from ext URL" |
| 383 | safeclose(f) |
| 384 | return None |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 385 | nurl = f.geturl() |
| 386 | info = f.info() |
| 387 | if info.has_key('content-type'): |
| 388 | ctype = string.lower(info['content-type']) |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 389 | else: |
| 390 | ctype = None |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 391 | if nurl != url: |
| 392 | if verbose > 1: |
Guido van Rossum | 3edbb35 | 1997-01-30 03:19:41 +0000 | [diff] [blame] | 393 | print " Redirected to", nurl |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 394 | if not ctype: |
| 395 | ctype, encoding = mimetypes.guess_type(nurl) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 396 | if ctype != 'text/html': |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 397 | safeclose(f) |
| 398 | if verbose > 1: |
| 399 | print " Not HTML, mime type", ctype |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 400 | return None |
| 401 | text = f.read() |
| 402 | f.close() |
| 403 | return Page(text, nurl) |
| 404 | |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 405 | def setgood(self, url): |
| 406 | if self.bad.has_key(url): |
| 407 | del self.bad[url] |
| 408 | self.changed = 1 |
| 409 | if verbose > 0: |
| 410 | print "(Clear previously seen error)" |
| 411 | |
| 412 | def setbad(self, url, msg): |
| 413 | if self.bad.has_key(url) and self.bad[url] == msg: |
| 414 | if verbose > 0: |
| 415 | print "(Seen this error before)" |
| 416 | return |
| 417 | self.bad[url] = msg |
| 418 | self.changed = 1 |
Guido van Rossum | af310c1 | 1997-02-02 23:30:32 +0000 | [diff] [blame] | 419 | self.markerror(url) |
| 420 | |
| 421 | def markerror(self, url): |
| 422 | try: |
| 423 | origins = self.todo[url] |
| 424 | except KeyError: |
| 425 | origins = self.done[url] |
| 426 | for source, rawlink in origins: |
| 427 | triple = url, rawlink, self.bad[url] |
| 428 | self.seterror(source, triple) |
| 429 | |
| 430 | def seterror(self, url, triple): |
| 431 | try: |
| 432 | self.errors[url].append(triple) |
| 433 | except KeyError: |
| 434 | self.errors[url] = [triple] |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 435 | |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 436 | |
| 437 | class Page: |
| 438 | |
| 439 | def __init__(self, text, url): |
| 440 | self.text = text |
| 441 | self.url = url |
| 442 | |
| 443 | def getlinkinfos(self): |
| 444 | size = len(self.text) |
| 445 | if size > maxpage: |
| 446 | if verbose > 0: |
| 447 | print "Skip huge file", self.url |
| 448 | print " (%.0f Kbytes)" % (size*0.001) |
| 449 | return [] |
| 450 | if verbose > 2: |
| 451 | print " Parsing", self.url, "(%d bytes)" % size |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 452 | parser = MyHTMLParser() |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 453 | parser.feed(self.text) |
| 454 | parser.close() |
| 455 | rawlinks = parser.getlinks() |
| 456 | base = urlparse.urljoin(self.url, parser.getbase() or "") |
| 457 | infos = [] |
| 458 | for rawlink in rawlinks: |
| 459 | t = urlparse.urlparse(rawlink) |
| 460 | t = t[:-1] + ('',) |
| 461 | rawlink = urlparse.urlunparse(t) |
| 462 | link = urlparse.urljoin(base, rawlink) |
| 463 | infos.append((link, rawlink)) |
| 464 | return infos |
| 465 | |
| 466 | |
| 467 | class MyStringIO(StringIO.StringIO): |
| 468 | |
| 469 | def __init__(self, url, info): |
| 470 | self.__url = url |
| 471 | self.__info = info |
| 472 | StringIO.StringIO.__init__(self) |
| 473 | |
| 474 | def info(self): |
| 475 | return self.__info |
| 476 | |
| 477 | def geturl(self): |
| 478 | return self.__url |
| 479 | |
| 480 | |
| 481 | class MyURLopener(urllib.FancyURLopener): |
| 482 | |
| 483 | http_error_default = urllib.URLopener.http_error_default |
| 484 | |
Guido van Rossum | c59a5d4 | 1997-01-30 06:04:00 +0000 | [diff] [blame] | 485 | def __init__(*args): |
| 486 | self = args[0] |
| 487 | apply(urllib.FancyURLopener.__init__, args) |
Guido van Rossum | 89efda3 | 1997-05-07 15:00:56 +0000 | [diff] [blame] | 488 | self.addheaders = [ |
| 489 | ('User-agent', 'Python-webchecker/%s' % __version__), |
| 490 | ] |
| 491 | |
| 492 | def http_error_401(self, url, fp, errcode, errmsg, headers): |
| 493 | return None |
Guido van Rossum | c59a5d4 | 1997-01-30 06:04:00 +0000 | [diff] [blame] | 494 | |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 495 | def open_file(self, url): |
| 496 | path = urllib.url2pathname(urllib.unquote(url)) |
| 497 | if path[-1] != os.sep: |
| 498 | url = url + '/' |
| 499 | if os.path.isdir(path): |
| 500 | indexpath = os.path.join(path, "index.html") |
| 501 | if os.path.exists(indexpath): |
| 502 | return self.open_file(url + "index.html") |
| 503 | try: |
| 504 | names = os.listdir(path) |
| 505 | except os.error, msg: |
| 506 | raise IOError, msg, sys.exc_traceback |
| 507 | names.sort() |
| 508 | s = MyStringIO("file:"+url, {'content-type': 'text/html'}) |
| 509 | s.write('<BASE HREF="file:%s">\n' % |
| 510 | urllib.quote(os.path.join(path, ""))) |
| 511 | for name in names: |
| 512 | q = urllib.quote(name) |
| 513 | s.write('<A HREF="%s">%s</A>\n' % (q, q)) |
| 514 | s.seek(0) |
| 515 | return s |
| 516 | return urllib.FancyURLopener.open_file(self, path) |
| 517 | |
| 518 | |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 519 | class MyHTMLParser(sgmllib.SGMLParser): |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 520 | |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 521 | def __init__(self): |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 522 | self.base = None |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 523 | self.links = {} |
| 524 | sgmllib.SGMLParser.__init__ (self) |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 525 | |
| 526 | def start_a(self, attributes): |
Guido van Rossum | 6133ec6 | 1997-02-01 05:16:08 +0000 | [diff] [blame] | 527 | self.link_attr(attributes, 'href') |
| 528 | |
| 529 | def end_a(self): pass |
| 530 | |
| 531 | def do_img(self, attributes): |
| 532 | self.link_attr(attributes, 'src', 'lowsrc') |
| 533 | |
| 534 | def do_frame(self, attributes): |
| 535 | self.link_attr(attributes, 'src') |
| 536 | |
| 537 | def link_attr(self, attributes, *args): |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 538 | for name, value in attributes: |
Guido van Rossum | 6133ec6 | 1997-02-01 05:16:08 +0000 | [diff] [blame] | 539 | if name in args: |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 540 | if value: value = string.strip(value) |
| 541 | if value: self.links[value] = None |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 542 | |
| 543 | def do_base(self, attributes): |
| 544 | for name, value in attributes: |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 545 | if name == 'href': |
| 546 | if value: value = string.strip(value) |
| 547 | if value: |
| 548 | if verbose > 1: |
| 549 | print " Base", value |
| 550 | self.base = value |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 551 | |
| 552 | def getlinks(self): |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 553 | return self.links.keys() |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 554 | |
| 555 | def getbase(self): |
| 556 | return self.base |
| 557 | |
| 558 | |
| 559 | def show(p1, link, p2, origins): |
| 560 | print p1, link |
| 561 | i = 0 |
| 562 | for source, rawlink in origins: |
| 563 | i = i+1 |
| 564 | if i == 2: |
| 565 | p2 = ' '*len(p2) |
| 566 | print p2, source, |
| 567 | if rawlink != link: print "(%s)" % rawlink, |
| 568 | print |
| 569 | |
| 570 | |
Guido van Rossum | 2739cd7 | 1997-01-30 04:26:57 +0000 | [diff] [blame] | 571 | def sanitize(msg): |
| 572 | if (type(msg) == TupleType and |
| 573 | len(msg) >= 4 and |
| 574 | msg[0] == 'http error' and |
| 575 | type(msg[3]) == InstanceType): |
| 576 | # Remove the Message instance -- it may contain |
| 577 | # a file object which prevents pickling. |
| 578 | msg = msg[:3] + msg[4:] |
| 579 | return msg |
| 580 | |
| 581 | |
Guido van Rossum | e5605ba | 1997-01-31 14:43:15 +0000 | [diff] [blame] | 582 | def safeclose(f): |
| 583 | url = f.geturl() |
| 584 | if url[:4] == 'ftp:' or url[:7] == 'file://': |
| 585 | # Apparently ftp connections don't like to be closed |
| 586 | # prematurely... |
| 587 | text = f.read() |
| 588 | f.close() |
| 589 | |
| 590 | |
Guido van Rossum | 272b37d | 1997-01-30 02:44:48 +0000 | [diff] [blame] | 591 | if __name__ == '__main__': |
| 592 | main() |