2010-08-04 01:01:18 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
2010-05-13 01:47:19 +02:00
|
|
|
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
|
|
|
|
|
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
|
2010-08-04 01:01:18 +02:00
|
|
|
<listEntry value="/gridworks-server/src/com/google/gridworks/Gridworks.java"/>
|
2010-05-13 01:47:19 +02:00
|
|
|
</listAttribute>
|
|
|
|
|
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
|
|
|
|
|
<listEntry value="1"/>
|
|
|
|
|
</listAttribute>
|
2010-08-04 01:01:18 +02:00
|
|
|
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.google.gridworks.Gridworks"/>
|
2010-06-16 22:23:56 +02:00
|
|
|
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="gridworks-server"/>
|
2010-05-30 20:18:59 +02:00
|
|
|
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Dgridworks.autoreloading=true"/>
|
|
|
|
|
<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:gridworks}"/>
|
2010-05-13 01:47:19 +02:00
|
|
|
</launchConfiguration>
|
