()
| 574 | // Identities, to determine the unique(ish) name of the server. |
| 575 | public String getServerName() { return serverName; } |
| 576 | public int getServerPort() { return serverPort; } |
| 577 | |
| 578 | boolean isSecure() { return csecurity != null ? csecurity.isSecure() : false; } |
| 579 |