Author: snjeza
Date: 2010-10-19 19:02:55 -0400 (Tue, 19 Oct 2010)
New Revision: 25925
Modified:
trunk/tptp/plugins/org.jboss.tools.eclipse.as.tptp/plugin.xml
Log:
JBIDE-7368 TPTP profiling doesn't work with JBoss Tools 3.2.0
Modified: trunk/tptp/plugins/org.jboss.tools.eclipse.as.tptp/plugin.xml
===================================================================
--- trunk/tptp/plugins/org.jboss.tools.eclipse.as.tptp/plugin.xml 2010-10-19 22:24:31 UTC
(rev 25924)
+++ trunk/tptp/plugins/org.jboss.tools.eclipse.as.tptp/plugin.xml 2010-10-19 23:02:55 UTC
(rev 25925)
@@ -27,15 +27,6 @@
</configuration>
</mechanism>
</association>
- <association
launchConfigID="org.jboss.ide.eclipse.as.core.server.startupConfiguration">
- <mechanism
mechanismID="org.eclipse.tptp.platform.instrumentation.ui.instrumentCollector">
- <configuration
-
associatedAgent="org.eclipse.tptp.platform.instrumentation.ui.instrumentAgent"
-
configurationId="org.eclipse.tptp.platform.instrumentation.ui.instrumentCollectorConfiguration"
-
filter="org.jboss.tools.eclipse.as.tptp.PICollectorFiltration"
-
launchDelegate="org.eclipse.tptp.platform.instrumentation.ui.internal.launcher.deleg.application.InstrumentLauncherDelegate"/>
- </mechanism>
- </association>
</extension>
</plugin>
Show replies by date