On 09.04.2014, at 23:53, Marshall Schor <[email protected]> wrote: > I see the .index directory at > http://zoidberg.ukp.informatik.tu-darmstadt.de/artifactory/public-ext-osgi-releases-local > has a couple of files that have today's date - were they rebuilt today, and > did > something go wrong with that?
That is theoretically possible. We had some major infrastructure problems early this week. I plan to upgrade the repository software soon - at least that should take care of any issues. Otherwise, I can kill the indexes and have them rebuilt - that may or may not help. I gather that they have already been rebuilt (see date), so I wouldn't expect significant results from that. -- Richard
