Vielen Dank.

Tja, die Frage ist, ob das Restart zu einem Ende und Neustart führt oder ob der Server dabei weiterlebt und nur seine Konfigurationsdatei neu einliest. Das wäre das gewünschte Verhalten. Es darf nicht dazu kommen, dass während des Restarts Requests abgelehnt werden bzw. ins Leere laufen.
Mal schauen, ob wir das irgendwie testen können. Ich bin da leider kein Experte auf dem Gebiet.
Vielen Dank erstmal.

Dieter