Re: PAUSE indexer reporting failure

2017-10-11 Thread Neil Bowers
Hi Martin, > I am not quite sure whether there is a problem with my uploaded > file or the indexer, and what I can do to resolve it. What do > you make of this message? When this happens, you can ask PAUSE to try re-indexing your upload. You do this via the PAUSE web interface: I’ve just kic

PAUSE indexer reporting failure

2017-10-10 Thread Martin Becker
Dear PAUSE administrators, I am not quite sure whether there is a problem with my uploaded file or the indexer, and what I can do to resolve it. What do you make of this message? Yours, -Martin - Forwarded message from PAUSE - To: mhasch[private], andreas.koenig.gmwojprw+pa...@franz.