(addr)
| 1979 | # encoding times, so you get mismatches if you compress your files: |
| 1980 | # a.html.gz will map to a_b.html.gz |
| 1981 | def fixfunnychars(addr): |
| 1982 | i = 0 |
| 1983 | while i < len(addr): |
| 1984 | c = addr[i] |
| 1985 | if c not in goodchars: |
| 1986 | c = '-' |
| 1987 | addr = addr[:i] + c + addr[i+1:] |
| 1988 | i = i + len(c) |
| 1989 | return addr |
| 1990 | |
| 1991 | |
| 1992 | # Increment a string used as an enumeration |