Server bearbeiten

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

  1. Ö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.
  2. 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.
  3. 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.