[eclipse-mirrors] [mars] org.eclipse.php.* plugins not rsynced

["Sievers, Jan" <jan.sievers@xxxxxxx>]

Hi,

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.

First I thought this is a problem on our side but two other mirrors picked at random have the same files missing:


http://mirror.netcologne.de/eclipse/releases/mars/201506241002/plugins/
http://sunsite.rwth-aachen.de:3080/ftp/pub/mirror/eclipse.org/releases/mars/201506241002/plugins/

org.eclipse.php.*.{jar|pack.gz} is missing although 

1) p2 metadata file
   http://mirror.netcologne.de/eclipse/releases/mars/201506241002/artifacts.jar
   says they should be there 
   
    <artifact classifier='osgi.bundle' id='org.eclipse.php.debug.ui' version='3.5.0.201506101710'>
      <processing size='1'>
        <step id='org.eclipse.equinox.p2.processing.Pack200Unpacker' required='true'/>
      </processing>
      <properties size='8'>
        <property name='artifact.size' value='595448'/>
        <property name='download.size' value='194337'/>
        <property name='format' value='packed'/>
        <property name='maven-extension' value='jar.pack.gz'/>
        <property name='maven-artifactId' value='org.eclipse.php.debug.ui'/>
        <property name='maven-version' value='3.5.0-SNAPSHOT'/>
        <property name='maven-groupId' value='org.eclipse.php'/>
        <property name='maven-classifier' value='pack200'/>
      </properties>
    </artifact>
 


2) main site 
   http://download.eclipse.org/releases/mars/201506241002/plugins/
   has these files

Looks like there is a mismatch between what is served by the main site and what is offered to mirrors via rsync?
Or did I miss something w.r.t. to recent changes to the rsync script?

If this is true, this would mean installations of PHP tooling for Mars may fail or at best always fallback to main site.

Best Regards,
Jan

-- full list of missing plugins --

org.eclipse.php.core.parser_3.5.0.201506101710.jar
org.eclipse.php.core.parser_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.core_3.5.0.201506101710.jar
org.eclipse.php.core_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.debug.core_3.5.0.201506101710.jar
org.eclipse.php.debug.core_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.debug.daemon_3.5.0.201506101710.jar
org.eclipse.php.debug.daemon_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.debug.ui_3.5.0.201506101710.jar
org.eclipse.php.debug.ui_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.formatter.core_3.5.0.201506101710.jar
org.eclipse.php.formatter.core_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.formatter.ui_3.5.0.201506101710.jar
org.eclipse.php.formatter.ui_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.help_3.5.0.201506101710.jar
org.eclipse.php.help_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.mylyn.ui_3.5.0.201506101710.jar
org.eclipse.php.mylyn.ui_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.refactoring.core_3.5.0.201506101710.jar
org.eclipse.php.refactoring.core_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.refactoring.ui_3.5.0.201506101710.jar
org.eclipse.php.refactoring.ui_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.server.core_3.5.0.201506101710.jar
org.eclipse.php.server.core_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.server.ui_3.5.0.201506101710.jar
org.eclipse.php.server.ui_3.5.0.201506101710.jar.pack.gz
org.eclipse.php.ui_3.5.0.201506101710.jar
org.eclipse.php.ui_3.5.0.201506101710.jar.pack.gz