Sie können Ihren Server mit Hilfe eines Servereditors bearbeiten. Die zu ändernden Felder hängen von der Laufzeitumgebung, für die der Server definiert wurde, bzw. davon ab, ob er als lokaler oder ferner Server definiert wurde.
Informationen zu diesem Vorgang
Gehen Sie wie folgt vor, um einen Server zu bearbeiten:
Vorgehensweise
Öffnen Sie einen Servereditor, und führen Sie eine der folgenden Aktionen aus:
Klicken Sie in der Ansicht 'Server' doppelt auf den Server, den Sie bearbeiten wollen.
Klicken Sie in der Ansicht 'Server' mit der rechten Maustaste auf den Server, und wählen Sie über das Kontextmenü Öffnen aus.
Wenn der Servereditor in der Workbench geöffnet ist, können Sie Ihre Änderungen
speichern, indem Sie entweder über die Symbolleiste Datei > Speichern
auswählen, oder indem Sie Strg+S drücken.
Tipp: Änderungen im Servereditor, die noch nicht gespeichert wurden, werden
durch ein Sternsymbol (*) gekennzeichnet, das oben im Servereditor angezeigt wird. Nachdem Sie Ihre Änderungen im Servereditor gespeichert haben, sollte das Sternsymbol (*) im Servereditor nicht mehr angezeigt werden.
Close all server editors before starting, restarting, or
adding and removing modules on the server. Andernfalls werden
Sie möglicherweise mit folgender Nachricht abgefragt:
Datei geändert
Der Server wurde im Dateisystem geändert. Sollen die Änderungen geladen werden? Ja oder Nein.