summaryrefslogtreecommitdiff
path: root/bin/Cristal Dev Server.launch
diff options
context:
space:
mode:
authorabranson <abranson@PCUWE01.cern.ch>2012-07-25 16:32:13 +0200
committerabranson <abranson@PCUWE01.cern.ch>2012-07-25 16:32:13 +0200
commit05758b2129d8dd57d97b4237a7735673047fecbe (patch)
tree4ddd312308836ca8112b3405e4cdf754383649a4 /bin/Cristal Dev Server.launch
parent6e38d4871a6d12ef49ae2b86e43739dc57058fa3 (diff)
cristal-dev defines its own server, and depends on cristal-kernel rather
than the other way around.
Diffstat (limited to 'bin/Cristal Dev Server.launch')
-rw-r--r--bin/Cristal Dev Server.launch21
1 files changed, 21 insertions, 0 deletions
diff --git a/bin/Cristal Dev Server.launch b/bin/Cristal Dev Server.launch
new file mode 100644
index 0000000..a05863f
--- /dev/null
+++ b/bin/Cristal Dev Server.launch
@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
+<stringAttribute key="bad_container_name" value="\cristal-kernel\bin\eclip"/>
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
+<listEntry value="/cristal-dev"/>
+</listAttribute>
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
+<listEntry value="4"/>
+</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.process.StandardServer"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-logLevel 0 -config ${workspace_loc:cristal-kernel}/bin/conf/server.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"/>
+<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx256m"/>
+</launchConfiguration>