# HG changeset patch
# User jittat <jittat@6386c4cd-e34a-4fa8-8920-d93eb39b512e>
# Date 2009-10-05 01:52:12
# Node ID 4469d653fe5ffb218b03d96af35941445836c152
# Parent  800d986913488edca5bcf5d03bb4ac6dd70a53aa

added /dev/urandom to file allowed to be accessed, probably needed after ubuntu 9.04

git-svn-id: http://theory.cpe.ku.ac.th/grader/judge/trunk/scripts@417 6386c4cd-e34a-4fa8-8920-d93eb39b512e

diff --git a/std-script/box.cc b/std-script/box.cc
--- a/std-script/box.cc
+++ b/std-script/box.cc
@@ -187,6 +187,7 @@
 	return;
       if (!strcmp(namebuf, "/dev/null") ||
 	  !strcmp(namebuf, "/dev/zero") ||
+	  !strcmp(namebuf, "/dev/urandom") ||
 	  !strcmp(namebuf, "/proc/meminfo") ||
 	  !strcmp(namebuf, "/proc/self/stat") ||
 	  !strncmp(namebuf, "/usr/share/zoneinfo/", 20))