[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [eclipse-mirrors] [mars] org.eclipse.php.* plugins not rsynced
|
Dear all,
On Thu, Jun 25, 2015 at 12:46:23PM +0000, Sievers, Jan wrote:
> while doing some p2 consistency checks on our internal mirror connected via rsync, I noticed that for the mars final release p2 repo,
> all 14 org.eclipse.php.* plugins are missing on our mirror.
we (ftp.halifax.rwth-aachen.de, with rsync.usuosl.org as upstream)
deleted the files in question on June 23rd, 09:40:03 CEST:
> deleting releases/mars/201506241002/plugins/org.eclipse.php.ui_3.5.0.201506101710.jar.pack.gz
> deleting releases/mars/201506241002/plugins/org.eclipse.php.ui_3.5.0.201506101710.jar
> deleting releases/mars/201506241002/plugins/org.eclipse.php.server.ui_3.5.0.201506101710.jar.pack.gz
> deleting releases/mars/201506241002/plugins/org.eclipse.php.server.ui_3.5.0.201506101710.jar
> [...]
Best regards,
--
Dr. Carsten Otto
http://verify.rwth-aachen.de/otto/
Attachment:
signature.asc
Description: Digital signature