web/jenkins/index.php
author Raphael Velt <raph.velt@gmail.com>
Thu, 17 Jan 2013 15:26:40 +0100
changeset 773 ca4a76bb6ad8
parent 616 151ebf102b92
child 1186 e10c0c8ec4d5
permissions -rw-r--r--
Added tag V02.10 for changeset 8754f622a9fd
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
?>