diff options
| author | Andrew Branson <andrew.branson@cern.ch> | 2012-07-30 22:00:07 +0200 |
|---|---|---|
| committer | Andrew Branson <andrew.branson@cern.ch> | 2012-07-30 22:00:07 +0200 |
| commit | 9bb55a765e89a11cbfa628dc4711e275b70574b9 (patch) | |
| tree | a2156beacf65f2c192b116f8a2faa040868b99e8 /bin/Cristal Dev GUI.launch | |
| parent | 05758b2129d8dd57d97b4237a7735673047fecbe (diff) | |
Depend on cristal-kernel rather than the other way around.
Include eclipse launchers for server and client.
Fix wrong order of package elements
Diffstat (limited to 'bin/Cristal Dev GUI.launch')
| -rw-r--r-- | bin/Cristal Dev GUI.launch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/bin/Cristal Dev GUI.launch b/bin/Cristal Dev GUI.launch new file mode 100644 index 0000000..3b857b9 --- /dev/null +++ b/bin/Cristal Dev GUI.launch @@ -0,0 +1,19 @@ +<?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="/cristal-gui/src/main/java/com/c2kernel/gui/Main.java"/>
+</listAttribute>
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
+<listEntry value="1"/>
+</listAttribute>
+<stringAttribute key="org.eclipse.debug.ui.ATTR_CONSOLE_ENCODING" value="UTF-8"/>
+<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
+<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
+<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
+</listAttribute>
+<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
+<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.c2kernel.gui.Main"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-logLevel 0 -config ${workspace_loc:cristal-gui}/bin/conf/client.conf -connect bin/dev.clc"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="cristal-dev"/>
+<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/>
+</launchConfiguration>
|