Edytowanie serwera

Serwer można edytować przy użyciu edytora serwerów. Lista pól, które można zmienić, zależy od zdefiniowanego dla serwera środowiska wykonawczego, a także od tego, czy serwer jest zdefiniowany jako lokalny, czy zdalny.

Aby edytować serwer, wykonaj następujące czynności:
  1. Otwórz edytor serwerów, wykonując jedną z następujących czynności:
    • W widoku Serwery kliknij dwukrotnie serwer, który chcesz edytować.
    • Kliknij prawym przyciskiem myszy wybrany serwer w widoku Serwery, a z menu wywoływanego wybierz opcję Otwórz.
  2. Kiedy w środowisku roboczym otwarty jest edytor serwerów, możesz zapisać zmiany wybierając z paska narzędzi opcje Plik > Zapisz lub naciskając kombinację klawiszy CTRL+S.
    Wskazówka: Zmiany w edytorze serwerów, których jeszcze nie zapisano, oznaczone są ikoną * umieszczoną w górnej części edytora serwerów. Po zapisaniu zmian w edytorze serwerów ikona * nie powinna być widoczna.
  3. Upewnij się, że edytor jest zamknięty, zanim uruchomisz serwer, zrestartujesz go lub dodasz bądź usuniesz jego moduły.