tools.rmiserver
Class JinniRmiShutdownClient

java.lang.Object
  extended by tools.rmiserver.JinniRmiShutdownClient

public class JinniRmiShutdownClient
extends java.lang.Object

This serves to directly shutdown the JinnIde RMI server for test reasons. It expects the JRS running on port 1099.

Version:
Cassandra
Author:
Wolfgang Chico-Toepfer

Constructor Summary
JinniRmiShutdownClient()
           
 
Method Summary
static void main(java.lang.String[] args)
          starts up a little Java client to shutdown the JinnIde server
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JinniRmiShutdownClient

public JinniRmiShutdownClient()
Method Detail

main

public static void main(java.lang.String[] args)
starts up a little Java client to shutdown the JinnIde server

Parameters:
args - used by convention but actually ignored