uses /proc/self/fd rather than /dev/fd for native mode
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 5 Dec 2007 12:46:44 +0000 (12:46 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 5 Dec 2007 12:46:44 +0000 (12:46 +0000)
plc.d/functions

index 987a99d..50f0847 100644 (file)
@@ -111,5 +111,5 @@ upper ()
 
 # Make copies of stdout and stderr. The plc initscript redirects
 # stdout and stderr to a logfile if -v is not specified.
-[ ! -e /dev/fd/3 ] && exec 3>&1
-[ ! -e /dev/fd/4 ] && exec 4>&2
+[ ! -e /proc/self/fd/3 ] && exec 3>&1
+[ ! -e /proc/self/fd/4 ] && exec 4>&2