|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objecttools.rmiserver.JinniRmiShutdownClient
public class JinniRmiShutdownClient
This serves to directly shutdown the JinnIde RMI server for test reasons. It expects the JRS running on port 1099.
| 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 |
|---|
public JinniRmiShutdownClient()
| Method Detail |
|---|
public static void main(java.lang.String[] args)
args - used by convention but actually ignored
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||