[ Inhalt ] [ Index ] Start und Beenden des Referenzteil Konfiguration des Servers

Durchführung der Konfiguration

    Die Konfigurationsdatei liegt im Entwicklungsverzeichnis ./tools/g++vdmdbm in zweifacher Ausfertigung vor. Zum einen mit dem Standardnamen vdmd.conf, zum anderen als vdmd.instconf. Die erstere ist zur Entwicklung vorkonfiguriert, die letztere verwendet fast ausschließlich Standardoptionen, und wird bei der Installation mittels make INSTALL als auch make INSTFLAT in das Zielverzeichnis übertragen. Dabei wird die Option VdmRoot an das Zielverzeichnis der Installation angepaßt und der Dateiname auf den Standardnamen gesetzt.

Die Installationsoptionen sind zwar in der Konfigurationsdatei kurz erläutert, deren Hintergrund sowie wichtige Zusammenhänge sind aber insbesondere für die Weiterentwicklung wichtig, und daher Thema dieses Abschnitts, in dem Beispiele angegeben werden zu denen jeweils eine Tabelle die Erläuerungen vornimmt.

Die Option

Version                 1.0

muß in jeder Konfigurationsdatei enthalten sein, und vorstehenden Wert beinhalten, der bei einer Fortschreibung mit Änderung des Sinngehaltes einer Optionen für eine eindeutige Indentifizierung sorgt.

Verzeichnisoptionen

  Die Verzeichnisoptionen legen fest, an welcher Stelle im Verzeichnisbaum benötigte Dateien für den Server hinterlegt sind. Die Standardeinstellungen entsprechen der derzeit gültigen Verzeichnisstruktur. Tabelle [*] beschreibt alle Konfigurationsoptionen.

   
Option Vorgabewert Bedeutung
VdmRoot /usr/local tex2html_wrap3172
VdmLibrary /usr/local/lib tex2html_wrap3174
ServerRoot /usr/local/lib tex2html_wrap3176
ServerTCLDir /usr/local/lib/vdm/server tex2html_wrap3178
MimeTCLDir /usr/local/lib/vdm tex2html_wrap3180
DPTCLDir /usr/local/lib/vdm tex2html_wrap3182
ConsoleLogRoot /usr/local/log tex2html_wrap3184
ServerLogRoot /usr/local/log tex2html_wrap3186
AgentLogRoot /usr/local/log tex2html_wrap3188
ExamplesDir /usr/local/Test tex2html_wrap3190
Tabelle: Verzeichnisoptionen des Servers

Beispiel:

VdmRoot                       $VDMROOT/
VdmLibrary                    ./lib

ServerRoot                    /$VDMROOT/tools/g++vdmdbm
ServerTCLDir                 ./server

MimeTCLDir                   ./mime
DPTCLDir                     ./dp

ConsoleLogRoot               ./tools/g++vdmdbm/log
ServerLogRoot                ./tools/g++vdmdbm/log/server
AgentLogRoot                 ./tools/g++vdmdbm/log/agents

ExamplesDir                  /$VDMROOT/Test

Allgemeine Logfunktionen

  Die Logfunktionen sind ein wichtiger Bestandteil zur Nachverfolgung von Vorgängen. Ein Mitschreiben hilft, Fehler zu beseitigen, die den VDM Server jedoch keinesfalls terminieren. Die Logoptionen sind in Tabelle [*] aufgeführt.

   
Option Vorgabewert Bedeutung
ConsoleLogStderr disabled tex2html_wrap3192
ConsoleLogStdout disabled tex2html_wrap3194
ServerLogDebug disabled tex2html_wrap3196
ServerDebugDepth 100 tex2html_wrap3198
ServerLogOSI5 disabled tex2html_wrap3200
ServerLogRPC disabled tex2html_wrap3202
Tabelle: Logoptionen des Servers

Beispiel:

ConsoleLogStderr         enabled
ConsoleLogStdout         enabled

ServerLogDebug           disabled
ServerDebugDepth         100
ServerLogOSI5            enabled
ServerLogRPC             enabled

Agent-Logfunktionen

  Die Agent-Logfunktionen beziehen sich sowohl auf die Benutzeragents als auch auf einen eventullen separaten Datenbankprozeß. Die Einstellungen sind zum großen Teil identisch mit den Logfunktionen des Servers. Sie sind in Tabelle [*] genau definiert.

   
Option Vorgabewert Bedeutung
AgentLogSessions disabled tex2html_wrap3204
AgentLogStderr enabled tex2html_wrap3206
AgentLogStdout enabled tex2html_wrap3208
AgentLogDebug disabled tex2html_wrap3210
AgentDebugDepth 100 tex2html_wrap3212
Tabelle: Logoptionen der Benutzeragenten

Beispiel:

AgentLogSessions        enabled
AgentLogStderr          enabled
AgentLogStdout          enabled
AgentLogDebug           enabled
AgentDebugDepth         100

Server Optionen

  Die Serveroptionen legen mit die wichtigsten Details zu der Kommunikation des VDM Servers fest. Zum einen werden die verfügbaren Serverfunktionen bestimmt, zum anderen der Port über welchen diese erreichbar sind. Die genaue Beschreibung findet sich in Tabelle [*].

   
Option Vorgabewert Bedeutung
ServerRPC enabled tex2html_wrap3214
ServerTELNET enabled tex2html_wrap3216
PortRPC Zwingend Angabe tex2html_wrap3218
PortTELNET Zwingende Angabe tex2html_wrap3220
ManagerPassword vdm tex2html_wrap3222
ShowErrorDetails disabled tex2html_wrap3224
AgentProcess disabled tex2html_wrap3226
Tabelle: Optionen des Servers

Beispiel:

ServerRPC                enabled
ServerTELNET             enabled

PortRPC                  4711
PortTELNET               4712

ManagerPassword          vdm

ShowErrorDetails         enabled

AgentProcess             disabled

VDM-spezifische Optionen

  Die VDM spezifischen Optionen betreffen die Datenbank, die vom Server zwingend verwendet wird, unabhängig von jeglichen anderweitigen Angaben von Klienten, als auch den VDM Preprozessor, der zur Aufbereitung der Dokumentation als externes Programm benötigt wird. Näheres ist in Tabelle [*] erläutert.

   
Option Vorgabewert Bedeutung
VdmPreprocessor /usr/local/lib/vdmpp tex2html_wrap3228
VdmDefaultDatabase /usr/local/lib/vdmdb-c tex2html_wrap3230
Tabelle: VDM spezifische Serveroptionen

Beispiel:

VdmPreprocessor        ./vdmpp
VdmDefaultDatabase     ./vdmdb-c

Verschiedene Optionen

  Weitere Optionen, die keiner genauen Thematik zugeordnet werden, gibt Tabelle [*] wieder.

   
Option Vorgabewert Bedeutung
ServerRCScript tex2html_wrap3232
DaemonOperation enabled tex2html_wrap3234
Prompt1 ''vdmd > '' tex2html_wrap3236
Prompt2 ''> '' tex2html_wrap3238
Tabelle: Sonstige Serveroptionen

Beispiel:

ServerRCScript                 /u/vdm/work/g++vdmdbm/vdmdrc

DaemonOperation                disabled
Prompt1                        "vdmd > "
Prompt2                        "> "

HTML-Optionen

  Die HTML-Optionen betreffen im wesentlichen die Konfigurationen, die für die Produktion von HTML-Seiten für das Informations- und Hilfesystem von Bedeutung sind. Tabelle [*] gibt über die Optionen Auskunft.

   
Option Vorgabewert Bedeutung
TableWidth 4 tex2html_wrap3240
MimeEncoder /usr/loca/lib/vdm/mmencode tex2html_wrap3242
MimeDecoder /usr/local/lib/vdm/mmencode -u tex2html_wrap3244
KnownTags tex2html_wrap3246
ExampleBrowser /usr/local/lib/vdm/vdmtest tex2html_wrap3248
ExampleRoot /usr/local tex2html_wrap3250
ExampleVDMBin /usr/local/bin tex2html_wrap3252
Tabelle: HTML-orientierte Optionen des Servers

Beispiel:

TableWidth                4
 
MimeEncoder               /u/vdm/work/g++vdmdbm/external/mmencode
MimeDecoder               /u/vdm/work/g++vdmdbm/external/mmencode -u

KnownTags                 "H1 H2 H3 H4 H5 H6 BR\
                            /H1 /H2 /H3 /H4 /H5 /H6"
                        
ExampleBrowser            /$VDMROOT/tools/g++vdmdbm/vdmtest
ExampleVdmRoot            /$VDMROOT/
ExampleVdmBin             /$VDMROOT/bin


[ Inhalt ] [ Index ] Start und Beenden des Referenzteil Konfiguration des Servers

VDM Class Library