Rechercher une page de manuel

Chercher une autre page de manuel:

grmiregistry4.3

Langue: en

Version: 2008-03-05 (mandriva - 01/05/08)

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.

SEE ALSO

java(1), ...
Une morale nue apporte de l'ennui ;
Le conte fait passer le précepte avec lui.
En ces sortes de feinte il faut instruire et plaire,
Et conter pour conter me semble peu d'affaire.
-+- Jean de La Fontaine (1621-1695),
Le Pâtre et le Lion (Fables VI.1) -+-