Guido van Rossum
|
909bc18188
|
Recover from failed saves; when a file turns out to be a directory,
create a directory and moer the original file to the index.html.
|
1999-01-03 13:06:00 +00:00 |
|
Guido van Rossum
|
125700addb
|
Instead of printint, use self.message() or self.note().
|
1998-07-08 03:04:39 +00:00 |
|
Guido van Rossum
|
d328a9b5f4
|
Fix the way a trailing / is changed to /index.html so that it
doesn't depend on the value of os.sep. (I.e. ported to Windows :-)
|
1998-06-15 12:34:41 +00:00 |
|
Guido van Rossum
|
986abac1ba
|
Give in to tabnanny
|
1998-04-06 14:29:28 +00:00 |
|
Guido van Rossum
|
1a7eae919a
|
Adapt to new webchecker structure. Due to better structure of
getpage(), much less duplicate code is needed -- we only need to
override readhtml().
|
1998-02-21 20:08:39 +00:00 |
|
Guido van Rossum
|
d57548023f
|
A variant on webchecker that creates a mirror copy of a remote site.
|
1997-10-06 18:54:25 +00:00 |