Hallo! On Sat, 26 Nov 2011 15:53:45 +0100, Christian Grothoff <[email protected]> wrote: > Thank you Thomas for your suggestion. For our purposes, this is a > better (certainly more portable) solution that does always work.
Great that Thomas Bushnell could help finding a yet-better solution for the original problem. Always remember to ask your fellow Hurd folks for such OS level issues, eh? ;-) Grüße, Thomas
pgpmvU5iOzxqt.pgp
Description: PGP signature
