[ptp-dev] Problem using the org.eclipse.ptp.remote.core.remoteServerOver

[Rodrigo Fraxino Araujo <rfaraujo@xxxxxxxxxxxxxxxxxx>]

Hi,
I'm sending this message to ptp-dev since I got no answer in ptp-user.

I've been trying to use the org.eclipse.ptp.remote.core.remoteServerOverride extension point in
order to override the default properties that are being set in org.eclipse.ptp.rdt.server.dstore.

The problem is that even if I specify the same ID used by the plugin
that is using the extension point (i.e.,
org.eclipse.ptp.rdt.server.dstore.RemoteToolsDStoreServer), the
properties (e.g., the java path of launchCommand) continue to be loaded
from the first plugin that uses the extension point and not from mine.

I think that this can be considered a bug and filed a bug report 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=375674

Anyone knows if maybe I am doing something wrong?

Thanks.

Regards,
Rodrigo.