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.

Gehen Sie wie folgt vor, um einen Server zu bearbeiten:
  1. Ö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.
  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 (*) nicht mehr im Servereditor angezeigt werden.
  3. Stellen Sie sicher, dass der Editor geschlossen ist, bevor Sie Module im Server starten, erneut starten oder hinzufügen und entfernen.