'use strict' ; export const HTTP = 'HTTP/' ; export const CATALINA = 'Catalina' ; export const INVALID_SERVER_DIRECTORY = 'Please make sure you select a valid Tomcat Directory.' ; export const UNABLE_SHUTDOWN_URL = 'https://stackoverflow.com/questions/36566401/severe-could-not-contact-localhost8005-tomcat-may-not-be-running-error-while/48636631#48636631' ; export const RESTART_CONFIG_ID = 'restart_when_http(s)_port_change' ; export const LOCALHOST = 'http://localhost' ; export const JVM_OPTION_FILE = 'jvm.options' ; export const DEBUG_ARGUMENT_KEY = '-agentlib:jdwp=transport=dt_socket,suspend=n,server=y,address=localhost:' ; export const CLASS_PATH_KEY = '-classpath' ; export const CATALINA_BASE_KEY = '-Dcatalina.base' ; export const CATALINA_HOME_KEY = '-Dcatalina.home' ; export const JAVA_IO_TEMP_DIR_KEY = '-Djava.io.tmpdir' ; export const ENCODING = '-Dfile.encoding=UTF8' ; export const BOOTSTRAP_FILE = 'org.apache.catalina.startup.Bootstrap' ; export const WAR_FILE_EXTENSION = '.war' ; export const DEBUG_SESSION_NAME = 'Tomcat Debug (Attach)' ; export const JVM_DEFAULT_OPTIONS_KEYS = [ CLASS_PATH_KEY , CATALINA_BASE_KEY , CATALINA_HOME_KEY ] ; export enum ServerState { RunningServer = 'runningserver' , IdleServer = 'idleserver' } export enum PortKind { Server = 'Server' , Http = 'Http' , Https = 'Https' }