<?php
+ /* Retrieve the last selected choice in a select field. */
+ function get_last_selected($name) {
+ $key = "last_$name";
+ $ret = $_SESSION[$key];
+ error_log("last selected $name is $ret");
+ return $_SESSION[$key];
+ }
+
+ /* Remember the last selected choice in a select field. */
+ function set_last_selected($name, $value) {
+ if (isset($value)) error_log("setting last selected $name to $value");
+ else error_log("not setting last selected $name null");
+ if (! isset($value)) return;
+ $key = "last_$name";
+ $_SESSION[$key] = $value;
+ }
+
session_start();
?>