lib/session.php

   1 <?php
   2
   3   /* Retrieve the last selected choice in a select field. */
   4   function get_last_selected($name) {
   5     $key = "last_$name";
   6     $ret = $_SESSION[$key];
   7     error_log("last selected $name is $ret");
   8     return $_SESSION[$key];
   9   }
  10
  11   /* Remember the last selected choice in a select field. */
  12   function set_last_selected($name, $value) {
  13     if (isset($value)) error_log("setting last selected $name to $value");
  14     else error_log("not setting last selected $name null");
  15     if (! isset($value)) return;
  16     $key = "last_$name";
  17     $_SESSION[$key] = $value;
  18   }
  19
  20 ?>