/** 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();
}