Ein Roblet®-Server-Verzeichnisdienst kann nur ausgeführt werden. Ebenso der zugehörige Browser. Mehr generelle Informationen bietet der Überblick für Verzeichnisse.
Ausführung
Der Roblet®-Server-Verzeichnisdienst wird mit der Datei directory.bat (unter Windows) bzw. directory.sh (unter Unix/Linux/MacOSX-sh) gestartet. Gegebenenfalls sind noch Anpassungen notwendig.
Das Programm kann auf jedem Host (Rechner) höchstens einmal laufen - nicht mehrere Instanzen auf dem gleichen Host. Mehrere Instanzen innerhalb eines lokalen Netzwerkes sind jedoch möglich und erhöhen durch die entstehende Redundanz in manchen Fällen die Zuverlässigkeit.
In der Praxis ist es empfehlenswert, das Programm auf einem Host zum Laufen zu bringen, der von allen anderen Hosts (insbesondere den Roblet®-Servern und Roblet®-Anwendungen) ständig erreichbar ist. Ein Dauerbetrieb 24h/Tag, 7d/Woche ist durchaus möglich. Dabei ist jedoch zu beachten, daß sich die IP-Adresse des unterliegenden Rechners (Hosts) während des Laufes nicht ändern darf.
Der Verzeichnisdienst erzeugt temporäre Datei-Verzeichnisse und Dateien in dem Verzeichnis, das durch die im Normalfall bereits gesetzte Standard-Java™-Eigenschaft java.io.tmpdir festgelegt wird. Dadurch kann man Verzeichnisdienste aus möglicherweise schreibgeschützten, netzwerkgestützten Programmverzeichnissen auf verschiedenen Hosts starten.
Erzeugt werden zwei Datei-Verzeichnisse: genRob.genMediator.rmid-Nutzer und genRob.genMediator.reggie-Nutzer, wobei der Nutzer der Login-Name des Benutzers ist und über die Java™-Eigenschaft user.name bestimmt wird. Sind diese Datei-Verzeichnisse vorhanden, obwohl der Roblet®-Server-Verzeichnisdienst nicht läuft, so können sie bedenkenlos entfernt werden.
Mit der Tastenkombination e und nachfolgend Eingabetaste läßt sich ein Verzeichnisdienst sauber beenden. Temporäre Dateien werden wieder entfernt.
Der Browser läßt sich mit dem beigegebenen Script (oder Batch) nur auf dem Rechner ausführen, auf dem der Verzeichnisdienst gerade läuft. Um das zu ändern, muß die Start-Datei angepasst werden - localhost muß durch den Host ersetzt werden, auf dem der Verzeichnisdienst gerade läuft und gegebenenfalls muß auch das Port angepaßt werden.
