loglevelfilter.php 629 B

1234567891011121314
  1. <?php
  2. if (! defined("CONFIG")) die("Not defined");
  3. if (isset($_POST['display_log_level']) or isset($_GET['display_log_level'])) {
  4. if (isset($_GET['display_log_level'])) { $display_log_level = $_GET['display_log_level']*1; }
  5. if (isset($_POST['display_log_level'])) { $display_log_level = $_POST['display_log_level']*1; }
  6. } else {
  7. if (isset($_SESSION[$page_url]['display_log_level'])) { $display_log_level=$_SESSION[$page_url]['display_log_level']; } else { $display_log_level = 1; }
  8. }
  9. if (empty($display_log_level)) { $display_log_level=1; }
  10. $_SESSION[$page_url]['display_log_level']=$display_log_level;
  11. ?>