killjvm.1

.\"  $Id: killjvm.1,v 1.5 2001/12/06 16:02:01 eric Exp $
.\"
.\"  Man page for KillJVM.
.\"
.\"
.\"  $Log: killjvm.1,v $
.\"  Revision 1.5  2001/12/06 16:02:01  eric
.\"  Added reference to instantiate(1)
.\"
.\"  Revision 1.4  2001/11/27 22:09:39  eric
.\"  Added reference to listobjects(1)
.\"
.\"  Revision 1.3  2001/11/04 05:28:05  eric
.\"  Added listmethods
.\"
.\"  Revision 1.2  2001/10/31 00:32:08  eric
.\"  Formatting Revisions
.\"
.\"
.TH killjvm 1 "October 30, 2001" "KillJVM"
.SH "NAME"
killjvm \- Terminate a JVM
.SH "SYNOPSIS"
.BI "killjvm"
.BI "["options ]
.I jvmnumber
.sp
Options:
.BI "[\-h " host ]
.BI "[\-s " service ]
.br
.SH DESCRIPTION
The program
.B killjvm
contacts a PJVM Manager, which in turn contacts its PJVM Server, and
attempts to terminate the operation of the JVM in memory specified by
.IR "jvmnumber" .
If successful,
the JVM is terminated and the port at which the JVM resided is freed.
.P
The
.I jvmnumber
is the internal identification number of a JVM registered with a PJVM
Manager.  A list of these identification numbers can be determined with
the use of
.BR "listjvm" .
.SH OPTIONS
.TP
.BI "\-h " host
The host on which a PJVM Manager
is running.  If this is a remote
server, specify a hostname.  Default is
.BR "localhost" .
.TP
.BI "\-s " service
The port number or service name at which a PJVM Manager
can be contacted on the
.B hostname
specified.  Default is
.BR "pjvmmanager" .
.SH "SEE ALSO"
.BR pjvms (1),
.BR manager (1),
.BR requestjvm (1),
.BR listjvm (1),
.BR loadclass (1),
.BR listclass (1),
.BR listconstructors (1),
.BR listmethods (1),
.BR listobjects (1),
.BR instantiate (1)