[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [virgo-dev] Profile file name

Hi GianMaria,
 
+1 for the "java-server.profile"
 
Regards,
Dani
 
Gesendet: Freitag, 05. Februar 2016 um 10:40 Uhr
Von: "Florian Waibel" <fwaibel@xxxxxxxxxxxxxxxxx>
An: "Virgo Project" <virgo-dev@xxxxxxxxxxx>
Betreff: Re: [virgo-dev] Profile file name
Hi GianMaria,

> I understood from Florian that Daniel has proposed to use a generic name for the java 7 profile file such as java-server.profile or virgo-server-osgi.profile
>
> My personal preference would go to the first. In any case, whatever you decide please let me know so that I can update the tooling accordingly.

+1

I'll change the profile name to "java-server.profile".

Regards,
florian

_______________________________________________
virgo-dev mailing list
virgo-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/virgo-dev