| commit | 909bc181885185a6ee96f34a2fb3ad5ffb92954e | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Sun Jan 03 13:06:00 1999 +0000 |
| committer | Guido van Rossum <guido@python.org> | Sun Jan 03 13:06:00 1999 +0000 |
| tree | dd8bbcd9c4f99ad0a3962fbdde7779d6e6ca5aba | |
| parent | 0a6363d7e1d3061211faa2323752819e371e0ad2 [diff] |
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.