// $name is base name for pager controls
function db_pager($sql, $name, $table = null, $page_len=0)
{
- global $table_style;
$this->width = "95%";
if ($page_len == 0) $page_len = user_query_size();
$this->name = $name;
unset($_SESSION[$name]); // kill pager if sql has changed
}
if (!isset($_SESSION[$name])) {
- $_SESSION[$name] =& new db_pager($sql, $name, $table, $page_len);
+ $_SESSION[$name] = new db_pager($sql, $name, $table, $page_len);
$_SESSION[$name]->main_tbl = $table;
$_SESSION[$name]->key = $key;
$_SESSION[$name]->set_sql($sql);