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.
Gehen Sie wie folgt vor, um einen Server zu bearbeiten:
Öffnen Sie einen Servereditor, und führen Sie eine der folgenden Aktionen aus:
Klicken Sie in der Sicht 'Server' doppelt auf den Server, den Sie bearbeiten wollen.
Klicken Sie in der Sicht '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 (*) nicht mehr im Servereditor angezeigt werden.
Stellen Sie sicher, dass der Editor geschlossen ist, bevor Sie Module im Server
starten, erneut starten oder hinzufügen und entfernen.