public interface AdminOperations
| Modifier and Type | Method and Description |
|---|---|
void |
edit_server(java.lang.String name,
java.lang.String command,
java.lang.String host) |
ServerInfo |
get_server_info(java.lang.String name) |
void |
hold_server(java.lang.String name) |
HostInfo[] |
list_hosts() |
ServerInfo[] |
list_servers() |
void |
register_server(java.lang.String name,
java.lang.String command,
java.lang.String host) |
void |
release_server(java.lang.String name) |
void |
save_server_table() |
void |
shutdown(boolean _wait) |
void |
start_server(java.lang.String name) |
void |
unregister_host(java.lang.String name) |
void |
unregister_server(java.lang.String name) |
HostInfo[] list_hosts()
ServerInfo[] list_servers()
ServerInfo get_server_info(java.lang.String name) throws UnknownServerName
UnknownServerNamevoid shutdown(boolean _wait)
void save_server_table()
throws FileOpFailed
FileOpFailedvoid register_server(java.lang.String name,
java.lang.String command,
java.lang.String host)
throws IllegalServerName,
DuplicateServerName
IllegalServerNameDuplicateServerNamevoid unregister_server(java.lang.String name)
throws UnknownServerName
UnknownServerNamevoid edit_server(java.lang.String name,
java.lang.String command,
java.lang.String host)
throws UnknownServerName
UnknownServerNamevoid hold_server(java.lang.String name)
throws UnknownServerName
UnknownServerNamevoid release_server(java.lang.String name)
throws UnknownServerName
UnknownServerNamevoid start_server(java.lang.String name)
throws ServerStartupFailed,
UnknownServerName
ServerStartupFailedUnknownServerNamevoid unregister_host(java.lang.String name)
throws UnknownHostName
UnknownHostName