Don't try mirrors if we detect a replay attack
commite562cfe8ad041807cdfa78039863f4dcf731704c
authorThomas Leonard <talex5@gmail.com>
Sat, 3 May 2008 12:56:18 +0000 (3 13:56 +0100)
committerThomas Leonard <talex5@gmail.com>
Sat, 3 May 2008 12:56:18 +0000 (3 13:56 +0100)
tree97a6d96516d5241748a089146afff1159ed759ef
parentf9f260aa33662c0c88f9005185af396a92fc206e
Don't try mirrors if we detect a replay attack

If the upstream site provides a version of the feed older than the
one in the cache, report the problem immediately instead of trying
a mirror. There's clearly something seriously wrong in this case.
zeroinstall/injector/fetch.py