diff options
Diffstat (limited to 'bin/Cristal Dev Server.launch')
| -rw-r--r-- | bin/Cristal Dev Server.launch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/Cristal Dev Server.launch b/bin/Cristal Dev Server.launch index a05863f..224343c 100644 --- a/bin/Cristal Dev Server.launch +++ b/bin/Cristal Dev Server.launch @@ -2,10 +2,10 @@ <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"/>
+<listEntry value="/cristal-kernel/src/main/java/com/c2kernel/process/StandardServer.java"/>
</listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="4"/>
+<listEntry value="1"/>
</listAttribute>
<stringAttribute key="org.eclipse.debug.ui.ATTR_CONSOLE_ENCODING" value="UTF-8"/>
<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
|