From 5187814770ce4c964deffa4078479d9fe19fe9cd Mon Sep 17 00:00:00 2001
From: Bruce Allen <bruce.allen@aei.mpg.de>
Date: Wed, 11 May 2005 10:11:54 +0000
Subject: [PATCH] another undefined index removed

svn path=/trunk/boinc/; revision=6116
---
 html/inc/util.inc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/html/inc/util.inc b/html/inc/util.inc
index 4bddd85834..5ac832619d 100644
--- a/html/inc/util.inc
+++ b/html/inc/util.inc
@@ -462,7 +462,8 @@ function post_int($name, $optional=false) {
 }
 
 function get_str($name, $optional=false) {
-    $x = $_GET[$name];
+    $x = null;
+    if (isset($_GET[$name])) $x = $_GET[$name];
     if (!$x && !$optional) {
         error_page("missing or bad parameter: $name");
     }