diff --git a/Start Worker.launch b/Start Worker.launch new file mode 100644 index 0000000000000000000000000000000000000000..661ab2a7bea5920411817a8d393f11c5d075daf1 --- /dev/null +++ b/Start Worker.launch @@ -0,0 +1,14 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication"> +<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> +<listEntry value="/worker/src/explorviz/worker/main/WorkerStarter.java"/> +</listAttribute> +<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> +<listEntry value="1"/> +</listAttribute> +<listAttribute key="org.eclipse.debug.ui.favoriteGroups"> +<listEntry value="org.eclipse.debug.ui.launchGroup.run"/> +</listAttribute> +<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="explorviz.worker.main.WorkerStarter"/> +<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="worker"/> +</launchConfiguration>