web/jenkins/index.php
author Raphael Velt <raph.velt@gmail.com>
Fri, 08 Feb 2013 17:57:21 +0100
changeset 787 8f7d8f20276a
parent 616 151ebf102b92
child 1186 e10c0c8ec4d5
permissions -rw-r--r--
Added tag V02.14 for changeset 539b7ccf5518
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
?>