From 5413d2e5a37a6ea0d504145bca3fcb5ad7fd8860 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Fri, 5 Jul 2013 20:06:21 -0700
Subject: [PATCH] Check for chroot dir and chroot if necessary.

---
 util/m | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/util/m b/util/m
index 786dccec..4ec11f32 100755
--- a/util/m
+++ b/util/m
@@ -33,4 +33,12 @@ if [ -d "$cgroup" ]; then
   cg="-g $host"
 fi
 
-exec sudo mnexec -a $pid $cg $cmd
+# Check whether host should be running in a chroot dir
+rootdir="/var/run/mn/$host/root"
+if [ -d $rootdir ]; then
+    cmd="'cd `pwd`; exec $cmd'"
+    cmd="chroot $rootdir bash -c $cmd"
+fi
+
+cmd="exec sudo mnexec -a $pid $cg $cmd"
+eval $cmd
-- 
GitLab