Rechercher une page de manuel

Chercher une autre page de manuel:

grmiregistry-4.4

Langue: en

Version: 2009-04-21 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)

NAME

grmiregistry - - Remote object registry

SYNOPSIS

grmiregistry [OPTIONS]... PORT

DESCRIPTION

grmiregistry starts a remote object registry on the current host. If no port number is specified, then port 1099 is used.

OPTIONS

Registry process control:
-restart
Restart RMI naming service, clearing persistent naming database, if any.
-stop
Stop RMI naming service.

Persistence:

-persistent
Make RMI naming service persistent.
-directory DIR
Directory in which to store persistent data.

Debugging:

-verbose
Log binding events to standard out.

Standard options:

-help
Print help text, then exit.
-version
Print version number, then exit.
-JOPTION
Pass argument to the Java runtime.

BUGS

SEE ALSO

java(1), ...

AUTHOR

> root@xxxxxxx.xx écrivait récemment dans f.m.b.l :
> Puis-je essayer de remettre ton trollometre de meilleure humeur?
Oh, le mien est mort de rire, là !! :-)
-+- T in GFA : Le troll de la route -+-