1
0

buildingfilter.php 495 B

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