Immediately save sort_col/sort_order in user prefs (#1485265)

thomascube

2008-09-05 94e4be534b334a58800d11895dc862908311a94a

 program/include/main.inc

@@ -317,7 +317,7 @@
    $is_iso_8859_1 = true;
  }
  if (!$enctype)
    $enctype = $GLOBALS['OUTPUT_TYPE'];
    $enctype = $OUTPUT->type;

  // encode for plaintext
  if ($enctype=='text')
@@ -706,9 +706,13 @@
    return '';
   
  // get user's timezone
  $tz = $CONFIG['timezone'];
  if ($CONFIG['dst_active'])
    $tz++;
  if ($CONFIG['timezone'] === 'auto')
    $tz = isset($_SESSION['timezone']) ? $_SESSION['timezone'] : date('Z')/3600;
  else {
    $tz = $CONFIG['timezone'];
    if ($CONFIG['dst_active'])
      $tz++;
  }

  // convert time to user's timezone
  $timestamp = $ts - date('Z', $ts) + ($tz * 3600);
@@ -792,19 +796,20 @@
 *
 * @param mixed Debug message or data
 */
function console($msg)
function console()
  {
  if (!is_string($msg))
    $msg = var_export($msg, true);
  $msg = array();
  foreach (func_get_args() as $arg)
    $msg[] = !is_string($arg) ? var_export($arg, true) : $arg;

  if (!($GLOBALS['CONFIG']['debug_level'] & 4))
    write_log('console', $msg);
    write_log('console', join(";\n", $msg));
  else if ($GLOBALS['OUTPUT']->ajax_call)
    print "/*\n $msg \n*/\n";
    print "/*\n " . join(";\n", $msg) . " \n*/\n";
  else
    {
    print '<div style="background:#eee; border:1px solid #ccc; margin-bottom:3px; padding:6px"><pre>';
    print $msg;
    print join(";<br/>\n", $msg);
    print "</pre></div>\n";
    }
  }