cluster5.server.rmi
Class ServerImpl

java.lang.Object
  extended by cluster5.server.ServerInterface4TerminalsImpl
      extended by cluster5.server.ServerInterface4UserImpl
          extended by cluster5.server.rmi.ServerImpl
All Implemented Interfaces:
Server, ServerInterface4Terminals, ServerInterface4User, java.rmi.Remote

public class ServerImpl
extends ServerInterface4UserImpl
implements Server


Constructor Summary
ServerImpl()
           
 
Method Summary
 void destroy()
          Cleans up the local mess.
static int getRmiRegistryPort()
           
static java.lang.String getRmiRegistryUrl()
           
static java.lang.String getRmiServiceName()
           
 
Methods inherited from class cluster5.server.ServerInterface4UserImpl
createTask, dropProject, getProjectProgress, getProjectStatus, getTask, getTaskStatus, listProjectNames, listTaskIds, login, logout, openProject, removeTask, runProject, setProjectMainClass, stopProject, uploadFile
 
Methods inherited from class cluster5.server.ServerInterface4TerminalsImpl
announceTerminalDown, announceTerminalUp, getFileData, getTask, listFiles, setResult
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface cluster5.server.ServerInterface4User
createTask, dropProject, getProjectProgress, getProjectStatus, getTask, getTaskStatus, listProjectNames, listTaskIds, login, logout, openProject, removeTask, runProject, setProjectMainClass, stopProject, uploadFile
 
Methods inherited from interface cluster5.server.ServerInterface4Terminals
announceTerminalDown, announceTerminalUp, getFileData, getTask, listFiles, setResult
 

Constructor Detail

ServerImpl

public ServerImpl()
Method Detail

destroy

public void destroy()
Cleans up the local mess.


getRmiRegistryUrl

public static java.lang.String getRmiRegistryUrl()
Returns:
url of the server loaded from configuration file

getRmiRegistryPort

public static int getRmiRegistryPort()
Returns:
port of the RMI service

getRmiServiceName

public static java.lang.String getRmiServiceName()
Returns:
name of the RMI service