Bei Änderung des Serverstatus Serversicht anzeigen |
Die Sicht 'Server' wird in der Workbench angezeigt, wenn in der Sicht 'Server' Aktivitäten stattfinden. Weitere Details zu den Serverstatusangaben finden Sie im Thema Sicht 'Server'. |
Beim Starten von Servern automatisch publizieren |
Gibt an, dass alle Dateien vor dem Starten des Servers automatisch publiziert werden sollen. |
Automatisch auf lokalen Servern publizieren |
Gibt an, dass alle Dateien automatisch in einem Intervall von x Sekunden auf dem lokalen Server publiziert werden sollen, wobei x die Anzahl Sekunden ist, die Sie im Steuerelement Publizierungsintervall (in Sekunden) angegebenen haben.
Der Mindestwert für das Publizierungsintervall beträgt zehn Sekunden. |
Automatisch auf fernen Servern publizieren |
Gibt an, dass alle Dateien automatisch in einem Intervall von x Sekunden auf dem fernen Server publiziert werden sollen, wobei x die Anzahl Sekunden ist, die Sie im Steuerelement Publizierungsintervall (in Sekunden) angegebenen haben.
Der Mindestwert für das Publizierungsintervall beträgt zehn Sekunden. |
Server bei Bedarf automatisch neu starten |
Gibt an, dass die Server-Tools den Server automatisch erneut starten können, wenn festgestellt wird, dass der Server erneut gestartet werden muss, um Ressourcenänderungen im Arbeitsbereich zu verarbeiten. |
Vor dem Ausführen unumkehrbarer Änderungen in einem Editor eine Systemanfrage ausgeben |
Gibt an, das die Server-Tools eine Bestätigungsanfrage ausgeben, bevor Sie in einem Editor eine Änderung vornehmen, die nicht rückgängig gemacht werden kann. |