/* (non-Javadoc)
* @see org.mulgara.server.AbstractServer#setConfig(org.mulgara.config.MulgaraConfig)
*/
@Override
public void setConfig(MulgaraConfig config) {
super.setConfig(config);
Rmi.configure(config);
}
/**
* Sets the server port.
*
* @param newPortNumber The new port to bind to.
*/
public void setPortNumber(int newPortNumber) {
super.setPortNumber(newPortNumber);
updateURI();
}
