This class provides the GUIs functionality
communicating with the repository.
addServer
public void addServer(String name,
String command,
String host)
Add a server to the repository.
name
- the servers name.command
- the servers startup command. Leave empty (not null)
if automatic startup is not desired.host
- the host the server is running on.
connectTo
public void connectTo(String ior_url)
Connect the manager to a remote repository.
ior_url
- an url pointing to the IOR file of a remote repository.
disableRefresh
public void disableRefresh()
Disable the automatic refresh.
fetchServers
public void fetchServers()
Fetch all servers from the repository. Rebuild Tree and HostSelector.
getHostSelector
public JComboBox getHostSelector()
Get a JComboBox containing all known hostnames.
- a JComboBox.
getPOATableModel
public TableModel getPOATableModel()
Get the table model for the POA table.
getRow
public int getRow(ServerInfo server,
POAInfo poa)
Get the row number of a POA in the POA table.
server
- the server node the POA belongs to.poa
- the poas poa node.
getServerTableModel
public TableModel getServerTableModel()
Get the table model for the server table.
getTree
public JTree getTree()
Get the tree representation of the server structure.
- a JTree.
holdServer
public void holdServer(String name)
Hold a server.
name
- the servers name.
holdServer
public void holdServer(int server_row)
Hold a server.
server_row
- the servers row in the table.
imrShutdown
public void imrShutdown(boolean wait)
Shut the repository down.
wait
- true, if ORB should wait for still open connections to be
closed by clients.
poaTableForServer
public void poaTableForServer(ServerInfo server)
Set the POA table model to the specific server, i.e.
the POA table displays this servers poas.
refreshServer
public void refreshServer(String name)
Refresh a server.
name
- the servers name.
refreshServer
public void refreshServer(int index)
Refresh a server.
releaseServer
public void releaseServer(String name)
Release a server.
name
- the servers name.
releaseServer
public void releaseServer(int server_row)
Release a server.
server_row
- the servers row in the table.
removeServer
public void removeServer(String name)
Remove a server from the repository.
name
- the servers name.
removeServer
public void removeServer(int server_row)
Remove a server from the repository.
server_row
- the servers row in the table.
saveTable
public void saveTable()
Make a backup of the server table.
setRefreshInterval
public void setRefreshInterval(int interval)
Set the interval by which the internal data is refreshed.
setServerDown
public void setServerDown(String name)
Set a server down.
name
- the servers name.
setServerDown
public void setServerDown(int server_row)
Set a server down.
server_row
- the servers row in the table.
updateServer
protected void updateServer(int server_row,
String field_name,
Object new_value)
Update a server in the repository by changes the user made in the server
table of the GUI.
server_row
- the row of the server in the table.field_name
- the columns name.new_value
- the cells new value.