From 3effe994b883d37a16be978afd816e952a7baed9 Mon Sep 17 00:00:00 2001
From: Florian Fittkau <ffi@informatik.uni-kiel.de>
Date: Fri, 13 Sep 2013 17:10:09 +0200
Subject: [PATCH] added start launch

---
 Start Worker.launch | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 Start Worker.launch

diff --git a/Start Worker.launch b/Start Worker.launch
new file mode 100644
index 0000000..661ab2a
--- /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>
-- 
GitLab