17 lines
1.2 KiB
Plaintext
17 lines
1.2 KiB
Plaintext
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||
|
<launchConfiguration type="com.google.gdt.eclipse.suite.webapp">
|
||
|
<stringAttribute key="com.google.gdt.eclipse.suiteMainTypeProcessor.PREVIOUSLY_SET_MAIN_TYPE_NAME" value="com.google.gwt.dev.GWTShell"/>
|
||
|
<stringAttribute key="com.google.gwt.eclipse.core.URL" value="DataMinerManagerWidget.html"/>
|
||
|
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
|
||
|
<listEntry value="/data-miner-manager-widget"/>
|
||
|
</listAttribute>
|
||
|
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
|
||
|
<listEntry value="4"/>
|
||
|
</listAttribute>
|
||
|
<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="com.google.gdt.eclipse.maven.mavenClasspathProvider"/>
|
||
|
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.google.gwt.dev.GWTShell"/>
|
||
|
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-remoteUI "${gwt_remote_ui_server_port}:${unique_id}" -logLevel INFO -codeServerPort 9997 -port 8888 DataMinerManagerWidget.html"/>
|
||
|
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="data-miner-manager-widget"/>
|
||
|
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx512m -Dgwt.nowarn.legacy.tools"/>
|
||
|
</launchConfiguration>
|