diff --git a/dataset_download/resource/eclipse/Dataset Download Service.launch b/dataset_download/resource/eclipse/Dataset Download Service.launch new file mode 100644 index 0000000000000000000000000000000000000000..1f96bbf3da986f4e334bc09e181386a8e2363187 --- /dev/null +++ b/dataset_download/resource/eclipse/Dataset Download Service.launch @@ -0,0 +1,13 @@ +<?xml version="1.0" encoding="UTF-8"?> +<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication"> +<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> +<listEntry value="/dataset_download/source/java/ch/systemsx/cisd/openbis/datasetdownload/DatasetDownloadService.java"/> +</listAttribute> +<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> +<listEntry value="1"/> +</listAttribute> +<booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/> +<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="ch.systemsx.cisd.openbis.datasetdownload.DatasetDownloadService"/> +<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="dataset_download"/> +<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea"/> +</launchConfiguration>