blob: 8cc57565d017b55bd1013e28cba09519990fd139 [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"
verifyCommand="java -version"
verifyPattern ="^(java version )(.)(1\.[5-9]|[2-9]\.).*$"
verifyReqVersion="Java 1.5">
</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>