Added fields to edit the range of a DYNAMIC property.

diff --git a/src/web/parameter.php b/src/web/parameter.php
index 81c13dc..769a2b4 100644 (file)
--- a/src/web/parameter.php
+++ b/src/web/parameter.php
@@ -9,7 +9,7 @@
 ***********************
 **      FILE NAME      : parameter.php
 **      SYSTEM NAME    : Gnucomo - Gnu Computer Monitoring
-**      VERSION NUMBER : $Revision: 1.9 $
+**      VERSION NUMBER : $Revision: 1.10 $
 **
 **  DESCRIPTION      : Parameter administration for a specific object.
 **                     Input - GET[oid]    : Object id
@@ -28,7 +28,10 @@
 
 /*****************************
    $Log: parameter.php,v $
-   Revision 1.9  2007-11-21 14:38:06  arjen
+   Revision 1.10  2007-11-28 17:02:23  arjen
+   Added fields to edit the range of a DYNAMIC property.
+
+   Revision 1.9  2007/11/21 14:38:06  arjen
    The buttonbar at the top of each page is now a fixed 'div' element
    instead of a framed page.
    Contributed by Edwin Nadorp.
@@ -58,7 +61,7 @@
 
 ******************************/
 
-// RCSID = "$Id: parameter.php,v 1.9 2007-11-21 14:38:06 arjen Exp $";
+// RCSID = "$Id: parameter.php,v 1.10 2007-11-28 17:02:23 arjen Exp $";
 
 
 ini_set('include_path', '.:./classes:../phpclasses');
@@ -265,7 +268,7 @@ class param_page extends page
             $prop = pg_fetch_object($class_res, $row);
             $pname = $prop->property_name;
             $property = pg_fetch_object(pg_exec($this->database,
-                            "SELECT value FROM property WHERE paramid='$paramid' AND name='$pname'"), 0);
+                            "SELECT value, type, min, max FROM property WHERE paramid='$paramid' AND name='$pname'"), 0);
             $pvalue = $property->value;
             if ($pvalue != $_POST[$pname])
             {
@@ -280,6 +283,22 @@ class param_page extends page
 
                pg_exec($this->database, $insertion);
             }
+
+            if ($property->type == 'DYNAMIC')
+            {
+               //  Update the range if necessary.
+
+               if ($_POST[$pname . "_min"] != $property->min)
+               {
+                  pg_exec($this->database, "UPDATE property SET min='" . $_POST[$pname . "_min"]
+                                       . "' WHERE paramid='$paramid' AND name='$pname'");
+               }
+               if ($_POST[$pname . "_max"] != $property->max)
+               {
+                  pg_exec($this->database, "UPDATE property SET max='" . $_POST[$pname . "_max"]
+                                       . "' WHERE paramid='$paramid' AND name='$pname'");
+               }
+            }
          }
       }
 
@@ -289,7 +308,7 @@ class param_page extends page
       echo "Description : <input type='text' name='paramdescr' value='" . $par->description . "'>\n";
       echo "<br>";
       echo "<table>\n";
-      echo "<tr><th>Property</th><th>Description</th><th>Value</th></tr>\n";
+      echo "<tr><th>Property</th><th>Description</th><th>Value</th><th>Minimum</th><th>Maximum</th></tr>\n";
 
       $class_res = pg_exec($this->database, "SELECT * FROM parameter_class WHERE name='" . $par->class . "'");
       for ($row = 0; $row < pg_numrows($class_res); $row++)
@@ -297,11 +316,23 @@ class param_page extends page
          $prop = pg_fetch_object($class_res, $row);
          $pname = $prop->property_name;
          $property = pg_fetch_object(pg_exec($this->database,
-                         "SELECT value FROM property WHERE paramid='$paramid' AND name='$pname'"), 0);
+                         "SELECT value, type, min, max FROM property WHERE paramid='$paramid' AND name='$pname'"), 0);
          $pvalue = $property->value;
+         $ptype  = $property->type;
+         $pmin   = $property->min;
+         $pmax   = $property->max;
          echo "<tr>";
          echo "<td>", $pname, "</td><td>", $prop->description, "</td>";
          echo "<td><input type='text' name='$pname' value='$pvalue'></td>";
+         if ($ptype == 'DYNAMIC')
+         {
+            echo "<td><input type='text' name='" . $pname . "_min' value='$pmin'></td>";
+            echo "<td><input type='text' name='" . $pname . "_max' value='$pmax'></td>";
+         }
+         else
+         {
+            echo "<td>&nbsp;</td><td>&nbsp;</td>";
+         }
          echo "</tr>\n";
       }
       echo "</table>\n";