web/jenkins/index.php
changeset 616 151ebf102b92
child 1186 e10c0c8ec4d5
equal deleted inserted replaced
615:3bafb6f5b7f7 616:151ebf102b92
       
     1 <?php
       
     2 // Permanent redirection
       
     3 header("HTTP/1.1 301 Moved Permanently");
       
     4 header("Location: client.php");
       
     5 exit();
       
     6 ?>