From 3f203aeffcef731b4c7ab38aed62b6939cb96a0a Mon Sep 17 00:00:00 2001
From: Miles Bader <miles@gnu.org>
Date: Sun, 16 Jul 1995 17:30:27 +0000
Subject: Formerly pflocal.c.~5~

---
 pflocal/pflocal.c | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'pflocal')

diff --git a/pflocal/pflocal.c b/pflocal/pflocal.c
index e4e99871..fd840622 100644
--- a/pflocal/pflocal.c
+++ b/pflocal/pflocal.c
@@ -18,7 +18,12 @@
    along with this program; if not, write to the Free Software
    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
 
-#include <trivfs.h>
+#include <stdio.h>
+#include <getopt.h>
+#include <error.h>
+
+#include <hurd/hurd_types.h>
+#include <hurd/trivfs.h>
 
 #include "pflocal.h"
 
@@ -104,10 +109,6 @@ void main(int argc, char *argv[])
   if (err)
     error(3, err, "Contacting parent");
 
-  /* Open the device only when necessary.  */
-  device = NULL;
-  mutex_init(&device_lock);
-
   /* Launch. */
   ports_manage_port_operations_multithread (pflocal_port_bucket,
 					    trivfs_demuxer,
-- 
cgit v1.2.3