Skip to main content

[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


Back to the top