From fc194843d492756e99daa131e95606c1513d328f Mon Sep 17 00:00:00 2001
From: Bruce Allen <bruce.allen@aei.mpg.de>
Date: Wed, 11 May 2005 10:30:28 +0000
Subject: [PATCH] Another undefined index gone

svn path=/trunk/boinc/; revision=6119
---
 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 5ac832619d..4a07099bba 100644
--- a/html/inc/util.inc
+++ b/html/inc/util.inc
@@ -450,7 +450,8 @@ function get_int($name, $optional=false) {
 }
 
 function post_int($name, $optional=false) {
-    $x = $_POST[$name];
+    $x = null;
+    if (isset($_POST[$name])) $x = $_POST[$name];
     if (!is_numeric($x)) {
         if ($optional) {
             return null;