Rechercher une page de manuel

Chercher une autre page de manuel:

grmiregistry-4.5

Langue: en

Version: 2010-07-31 (ubuntu - 24/10/10)

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

PARADOXAL

P : Je dois pas être normal ! Autant j'aime l'humour, autant je hais les humoristes !!!
M : Je te comprends, va... Moi, autant j'aime la sodomie, autant j'aime pas les enculés...