web/jenkins/index.php
author Raphael Velt <raph.velt@gmail.com>
Thu, 21 Mar 2013 17:31:31 +0100
changeset 805 5e7a0fedabdf
parent 616 151ebf102b92
child 1186 e10c0c8ec4d5
permissions -rw-r--r--
Added tag V02.16 for changeset a4d4c4de1c60
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
616
151ebf102b92 Added Jenkins
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     1
<?php
151ebf102b92 Added Jenkins
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     2
// Permanent redirection
151ebf102b92 Added Jenkins
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     3
header("HTTP/1.1 301 Moved Permanently");
151ebf102b92 Added Jenkins
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     4
header("Location: client.php");
151ebf102b92 Added Jenkins
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     5
exit();
151ebf102b92 Added Jenkins
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     6
?>