org.w3c.jigadmin.editors
Interface ServerEditorInterface

All Superinterfaces:
EditorInterface
All Known Implementing Classes:
AdminServerEditor, ServerEditor

public interface ServerEditorInterface
extends EditorInterface

Interface for server editors.


Method Summary
 void setServer(RemoteResourceWrapper server)
          Load or reload the server configuration.
 
Methods inherited from interface org.w3c.jigadmin.editors.EditorInterface
getComponent, initialize
 

Method Detail

setServer

void setServer(RemoteResourceWrapper server)
Load or reload the server configuration.

Parameters:
server - the new server wrapper