| java.lang.Object edu.rice.cs.drjava.RemoteControlServer
RemoteControlServer | public class RemoteControlServer (Code) | | This class contains a server that monitors incoming datagrams on port 4444
(default; can be changed in OptionConstants.REMOTE_CONTROL_PORT).
These datagrams can contain commands to open additional files.
A client can query whether a server is running by sending QUERY_PREFIX.
If a server is running, it will respond with RESPONSE_PREFIX.
A client can tell a server to open a file by sending QUERY_PREFIX+" "+absoluteFileName.
The server will respond with RESPONSE_PREFIX, or RESPONSE_PREFIX+" "+error if an error occurred.
A client can tell a server to open a file and jump to a certain line number by sending
QUERY_PREFIX+" "+absoluteFileName+File.pathSeparator+lineNumber.
The server will respond with RESPONSE_PREFIX, or RESPONSE_PREFIX+" "+error if an error occurred.
|
Inner Class :public static class RCServerThread extends Thread | |
Method Summary | |
public static void | main(String[] args) Main method for test purposes. |
QUERY_PREFIX | final public static String QUERY_PREFIX(Code) | | Prefix of a legitimate query by a client.
|
RESPONSE_PREFIX | final public static String RESPONSE_PREFIX(Code) | | Prefix of a legitimate response by this server.
|
RESPONSE_PREFIX_WITH_USER | final public static String RESPONSE_PREFIX_WITH_USER(Code) | | Prefix of a legitimate response by this server, including the user name.
|
RemoteControlServer | public RemoteControlServer(MainFrame frame) throws IOException(Code) | | Create a new remote control server, running in its own daemon thread.
Parameters: frame - main frame |
main | public static void main(String[] args)(Code) | | Main method for test purposes.
|
|
|