ident.php

   1 <?php
   2 require_once(dirname(__FILE__).'/require/settings.php');
   3 $ident = '';
   4 if (isset($_POST['ident'])) $ident = filter_input(INPUT_POST,'ident',FILTER_SANITIZE_STRING);
   5 if (isset($_GET['ident'])) $ident = filter_input(INPUT_GET,'ident',FILTER_SANITIZE_STRING);
   6 if ($ident != '')
   7 {
   8         if (isset($_GET['marine'])) header('Location: '.$globalURL.'/marine/ident/'.$ident);
   9         else header('Location: '.$globalURL.'/ident/'.$ident);
  10 } else {
  11         if ($globalURL == '') {
  12                 header('Location: /');
  13         } else {
  14                 header('Location: '.$globalURL);
  15         }
  16 }
  17 ?>