echo $begrüßung;
Die flock()-Funktion ist nur advisory
Jetzt, wo du es sagst, fällt es mir wieder ein, dass da ja sowas war. Allerdings fällt mir auch ein, dass es Unterschiede zwischen Windows und Unix gibt. Unter Windows ist flock mandatory. Dies weiß auch die Handbuchseite zu berichten:
flock -- Portable advisory file locking
...
Note: flock() is mandatory under Windows.
Meine Vermutung äußerte ich auch aufgrund eines Userkommentars (John 21-Jul-2003 01:32) auf der Handbuchseite zu file(). Leider schrieb er nicht, ob er Windows oder Unix verwendet hat.
Die flock()-Vermutung ziehe ich hiermit zurück. Den Rest lasse ich aber so stehen.
echo "$verabschiedung $name";