fix for bind mount problem

diff --git a/src/planetlab.c b/src/planetlab.c
index ad7a120..cc2035b 100644 (file)
--- a/src/planetlab.c
+++ b/src/planetlab.c
@@ -136,7 +136,7 @@ static void mount_proc(char *sandbox_root,uid_t uid)
     sprintf(target, "%s/proc", sandbox_root);
     target[len - 1] = '\0';
     if (!proc_mounted(sandbox_root))
-        mount(source, target, "proc", MS_RDONLY, NULL);
+        mount(source, target, "proc", MS_BIND | MS_RDONLY, NULL);
 
     free(target);
 }