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