blob: a598531da32ec2f36023edaba6f7185035dfe475 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
<extension
point="org.eclipse.ptp.remote.core.remoteServer">
<remoteServer
class="org.eclipse.ptp.rdt.server.dstore.core.DStoreServer"
id="org.eclipse.ptp.rdt.server.dstore.RemoteToolsDStoreServer"
launchCommand="java -Xms64m -Xmx128m -Xss2m -DA_PLUGIN_PATH=. -DDSTORE_TRACING_ON=false -Dclient.username=$USER -DDSTORE_SPIRIT_ON=true -jar ${payload} 0 60000"
name="%RemoteToolsDStoreServer.name"
payload="rdt-server.jar">
</remoteServer>
</extension>
<extension
point="org.eclipse.ptp.services.core.providers">
<provider
class="org.eclipse.ptp.rdt.server.dstore.core.RemoteToolsCIndexServiceProvider"
id="org.eclipse.ptp.rdt.server.dstore.RemoteToolsCIndexServiceProvider"
name="%RemoteToolsCIndexingService.name"
serviceId="org.eclipse.ptp.rdt.core.CIndexingService">
</provider>
</extension>
<extension
point="org.eclipse.ptp.services.ui.providerContributors">
<providerContributor
class="org.eclipse.ptp.rdt.server.dstore.ui.RemoteToolsCIndexServiceProviderContributer"
id="org.eclipse.ptp.rdt.server.dstore.RemoteToolsCIndexServiceProvider">
</providerContributor>
</extension>
</plugin>