Quick hack to make 'mach' working with djinni
(http://www.tu-chemnitz.de/~ensc/fedora.us-build). It replaces the
mount and umount methods with calls to the djinni helper.

2003-11-13  Enrico Scholz  <enrico.scholz@informatik.tu-chemnitz.de>

	* created initially
--- mach/scripts/mach.in~djinni	2003-11-13 18:51:39.000000000 +0100
+++ mach/scripts/mach.in	2003-11-13 19:09:41.000000000 +0100
@@ -363,7 +363,13 @@
         # FIXME: rh 72's mount needs /proc/mounts file, let's give it one
         #open (os.path.join (self.rootdir, 'proc', 'mounts'), 'w').close ()
         #return
+        
         ensure_dir (os.path.join (self.rootdir, 'proc'))
+        cmd="djinni -q prepare_machroot %s" % self.rootdir
+        debug(cmd)
+        os.system (cmd)
+        return
+
         # first umount for completeness; you never know
         self.umount ()
         debug ("mounting proc")
@@ -377,6 +383,12 @@
     # umount all mounted paths
     def umount (self):
         if not self.get_state: return
+
+        cmd="djinni -q shutdown_machroot %s" % self.rootdir
+        debug(cmd)
+        os.system (cmd)
+        return
+
         mountfile = os.path.join (self.statedir, 'mount')
         if not os.path.exists (mountfile): return
         debug ('cat %s | xargs %s' % (mountfile, self.config['umount']))
