diff options
-rw-r--r-- | Report-web_TABLE.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Report-web_TABLE.html b/Report-web_TABLE.html index bad7148..b576706 100644 --- a/Report-web_TABLE.html +++ b/Report-web_TABLE.html | |||
@@ -96,7 +96,8 @@ | |||
96 | <h1>URL sanity tests</h1> | 96 | <h1>URL sanity tests</h1> |
97 | <p>The URL sanity test replaces "/" in URLS with "///", to see if the mirror can cope with that. | 97 | <p>The URL sanity test replaces "/" in URLS with "///", to see if the mirror can cope with that. |
98 | This might happen due to a minor mis-configuration by the apt user, but decent web servers should cope with that. | 98 | This might happen due to a minor mis-configuration by the apt user, but decent web servers should cope with that. |
99 | The result for a mirror that does not cope is a failed download for that user, so this is an ERROR. | 99 | The result for a mirror that does not cope is a failed download for that user, so this is an ERROR. |
100 | We care about this coz apt has had multiple bugs in the past where they might let URLs like that slip through. | ||
100 | </p> | 101 | </p> |
101 | </div> | 102 | </div> |
102 | </div> | 103 | </div> |