# HG changeset patch
# User Jan Nieuwenhuizen <janneke@gnu.org>
# Date 1296329427 -3600
# Node ID e1181d222682f445a241b1e3c9d44bcff7383f8b
# Parent  302dc1c206fea5af1ef24340e78c3e2051ba4ecd
librestrict: allow /proc/stat too.  Fixes tools::guile-2.0 usage.

diff -r 302dc1c206fe -r e1181d222682 librestrict/restrict.c
--- a/librestrict/restrict.c	Sat Jan 29 16:52:11 2011 +0100
+++ b/librestrict/restrict.c	Sat Jan 29 20:30:27 2011 +0100
@@ -215,6 +215,7 @@
       add_allowed_file ("/dev/null");
       add_allowed_file ("/dev/urandom");
       add_allowed_file ("/proc/self");
+      add_allowed_file ("/proc/stat");
     }
 }