Formerly pflocal.c.~5~

1 files changed, 6 insertions, 5 deletions

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,