| commit | b1d1bcda21d86962d2009dd578afb01de84f7e2c | [log] [tgz] |
|---|---|---|
| author | GianMaria Romanato <gm.romanato@gmail.com> | Sun Feb 07 22:03:33 2016 +0100 |
| committer | GianMaria Romanato <gm.romanato@gmail.com> | Sun Feb 07 22:03:33 2016 +0100 |
| tree | 89e4995f9e95985106c084032cee5b19d63972a0 | |
| parent | d4ea96055a9623b5244bca43037fcc66627d463b [diff] |
Add support for Virgo 3.7 - Update SystemPackageFilteringRepository for Virgo 3.7 which renames the Java profile file into "java-server.profile". - For backward compatibility, if such a file is not found fall back to the old name (java6-server.profile)