Kleiner Nachtrag:
Es wird nicht immer der besetzte Port angemeckert. Einige Male funktioniert der Neustart sehr wohl wie vorgesehen (jetzt gerade 10 mal hintereinander). Beim 11. Mal war wieder Zick ... Soll ich erst prüfen, ob der Port frei ist und dann neu starten?
Mit freundlichen Grüßen
Jens Puruckherr