Danke für die Hilfe.
Das hat auf jeden Fall funktioniert, nur dass ich jetzt das Problem habe, dass die Prosieben Sender nicht mehr funktionieren.
Hier der Logeintrag aus der Syslog:
Jedesmal wenn ich auf einen Sender der Prosieben-Gruppe schalte, startet der VNSI Server bzw VDR anscheinend neu.
Das Problem hatte ich vorher noch nicht.