public interface AdminOperations
Modifier and Type | Method and Description |
---|---|
void |
edit_server(String name,
String command,
String host) |
ServerInfo |
get_server_info(String name) |
void |
hold_server(String name) |
HostInfo[] |
list_hosts() |
ServerInfo[] |
list_servers() |
void |
register_server(String name,
String command,
String host) |
void |
release_server(String name) |
void |
save_server_table() |
void |
shutdown(boolean _wait) |
void |
start_server(String name) |
void |
unregister_host(String name) |
void |
unregister_server(String name) |
HostInfo[] list_hosts()
ServerInfo[] list_servers()
ServerInfo get_server_info(String name) throws UnknownServerName
UnknownServerName
void shutdown(boolean _wait)
void save_server_table() throws FileOpFailed
FileOpFailed
void register_server(String name, String command, String host) throws IllegalServerName, DuplicateServerName
IllegalServerName
DuplicateServerName
void unregister_server(String name) throws UnknownServerName
UnknownServerName
void edit_server(String name, String command, String host) throws UnknownServerName
UnknownServerName
void hold_server(String name) throws UnknownServerName
UnknownServerName
void release_server(String name) throws UnknownServerName
UnknownServerName
void start_server(String name) throws ServerStartupFailed, UnknownServerName
ServerStartupFailed
UnknownServerName
void unregister_host(String name) throws UnknownHostName
UnknownHostName
Copyright © 2017 JacORB. All rights reserved.