/** The path to the location we are going to connect to as in the format ${URL}:${PORT}/${PATH} */ public String getHttpServerPath() { return fileExchangeSettings.getPath(); }
/** The http server port */ public int getPortNumber() { return fileExchangeSettings.getPort().intValue(); }
/** The name identifying the http server */ public String getHttpServerName() { return fileExchangeSettings.getServerName(); }
/** * Prefix to use when working with files on the http server. The prefix is used to distinguish * between different users/processes working with the server in parallel */ public String getProtocol() { return fileExchangeSettings.getProtocolType().value(); }