* debian/patches/runsystem_setup_pflocal.patch: New patch, sets up

    pflocal during bootup if this has not been done before (in the install
    case).
  * debian/hurd.dirs: Added servers/socket.

3 files changed, 22 insertions, 0 deletions

diff --git a/debian/changelog b/debian/changelog
index b20d173d..a1c50476 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,6 +7,12 @@ hurd (20070606-4) UNRELEASED; urgency=low
   * debian/patches/libpthread_inline.patch: New patch to fix extern inlines
     with gcc 4.3.
 
+  [ Michael Banck ]
+  * debian/patches/runsystem_setup_pflocal.patch: New patch, sets up
+    pflocal during bootup if this has not been done before (in the install
+    case).
+  * debian/hurd.dirs: Added servers/socket.
+
  -- Michael Banck <mbanck@debian.org>  Thu, 16 Aug 2007 16:55:53 +0200
 
 hurd (20070606-3) unstable; urgency=low
diff --git a/debian/hurd.dirs b/debian/hurd.dirs
index e1408dc7..cc9d942e 100644
--- a/debian/hurd.dirs
+++ b/debian/hurd.dirs
@@ -1,4 +1,5 @@
 servers
+servers/socket
 etc/default
 usr/share/msgids
 boot
diff --git a/debian/patches/runsystem_setup_pflocal.patch b/debian/patches/runsystem_setup_pflocal.patch
new file mode 100644
index 00000000..e7526e6d
--- /dev/null
+++ b/debian/patches/runsystem_setup_pflocal.patch
@@ -0,0 +1,15 @@
+--- daemons/runsystem.sh	2007-11-15 19:41:12.000000000 +0100
++++ deamons/runsystem.sh	2007-11-15 19:43:39.000000000 +0100
+@@ -53,6 +53,12 @@
+ }
+ 
+ 
++# See whether pflocal is setup already, and do so if not (install case)
++
++if ! test -e /servers/socket/1 && which settrans >/dev/null ; then
++  settrans -c /servers/socket/1 /hurd/pflocal
++fi
++
+ # We expect to be started by console-run, which gives us no arguments and
+ # puts FALLBACK_CONSOLE=file-name in the environment if our console is
+ # other than a normal /dev/console.