-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Peter Körner:
> Or we can just switch back to deleting the pid-file at the end of the
> script.
do this instead:
trap 'rm $pidfile' 0
- river.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (HP-UX)
iEYEARECAAYFAkr/KcAACgkQIXd7fCuc5vJvkACfYgCUohInGHa9lzvJ+uwlXNS4
uRcAnRKyOhMGGG8RFvMQz9Bu2AU/euGR
=3XkV
-----END PGP SIGNATURE-----
_______________________________________________
Maps-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/maps-l
