01: /*
02: * All content copyright (c) 2003-2007 Terracotta, Inc., except as may otherwise be noted in a separate copyright notice. All rights reserved.
03: */
04: package org.terracotta.dso.launch;
05:
06: import org.eclipse.jdt.launching.IJavaLaunchConfigurationConstants;
07: import org.terracotta.dso.TcPlugin;
08:
09: public interface IDSOLaunchConfigurationConstants extends
10: IJavaLaunchConfigurationConstants {
11: public static final String ID_SERVER_SPEC = TcPlugin.getPluginId()
12: + ".serverSpec";
13: public static final String ID_CONFIG_SERVER_SPEC = TcPlugin
14: .getPluginId()
15: + ".configServerSpec";
16: public static final String ID_CONFIG_FILE_SPEC = TcPlugin
17: .getPluginId()
18: + ".configFileSpec";
19: }
|