Repositories / jai.git
jai.git
Clone (read-only): git clone http://git.guha-anderson.com/git/jai.git
@@ -438,7 +438,6 @@ Config::make_mnt_ns() .propagation = MS_PRIVATE, }; Fd tmp = clone_tree(*mp_holder_.emplace_back(make_private_tmp())); - Fd shm = make_tmpfs("jai-shm", "mode", "01777", "size", "50%"); Fd passwd; if (mode_ == kStrict) @@ -469,7 +468,6 @@ Config::make_mnt_ns() home = clone_tree(*ensure_udir(storage(), cat(sandbox_name_, ".home"))); } xmnt_setattr(*tmp, attr); - xmnt_setattr(*shm, attr); xmnt_setattr(*home, attr); if (passwd) xmnt_setattr(*passwd, attr); @@ -489,9 +487,7 @@ Config::make_mnt_ns() syserr("umount2({}, MNT_DETACH)", kRunRoot); umount2("/tmp", MNT_DETACH); // ignore error umount2("/var/tmp", MNT_DETACH); // ignore error - umount2("/dev/shm", MNT_DETACH); // ignore error xmnt_move(*tmp, -1, "/tmp"); - xmnt_move(*shm, -1, "/dev/shm"); xmnt_move(*clone_tree(-1, "/tmp"), -1, "/var/tmp", 0); xmnt_move(*home, -1, homepath_); if (passwd)