equal
deleted
inserted
replaced
35 # HTTP log dates |
35 # HTTP log dates |
36 (br' - - \[\d\d/.../2\d\d\d \d\d:\d\d:\d\d] "GET', |
36 (br' - - \[\d\d/.../2\d\d\d \d\d:\d\d:\d\d] "GET', |
37 br' - - [$LOGDATE$] "GET' |
37 br' - - [$LOGDATE$] "GET' |
38 ), |
38 ), |
39 ] |
39 ] |
|
40 |
|
41 # Various platform error strings, keyed on a common replacement string |
|
42 _errors = { |
|
43 br'$ENOENT$': ( |
|
44 # strerror() |
|
45 br'No such file or directory', |
|
46 |
|
47 # FormatMessage(ERROR_FILE_NOT_FOUND) |
|
48 br'The system cannot find the file specified', |
|
49 ), |
|
50 } |
|
51 |
|
52 for replace, msgs in _errors.items(): |
|
53 substitutions.extend((m, replace) for m in msgs) |