From 52a91030d9e34cdfe8a06917420ff421c7be4d84 Mon Sep 17 00:00:00 2001
From: Sapan Bhatia <sapanb@cs.princeton.edu>
Date: Wed, 16 Jul 2008 18:55:44 +0000
Subject: [PATCH] MOunt pf data read-only. Now we can give other people access
 to it.

---
 factory/pfmount | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/factory/pfmount b/factory/pfmount
index fb7ee6c..0282c76 100755
--- a/factory/pfmount
+++ b/factory/pfmount
@@ -6,5 +6,5 @@
 DEST="/vservers/$1/pf"
 mount | grep "on $DEST type" > /dev/null
 if [ $? -eq 1 ]; then
-    mount --bind /var/local/fprobe $DEST
+    mount --bind /var/local/fprobe -o ro $DEST
 fi
-- 
2.47.0