web/jenkins/index.php
author Raphael Velt <raph.velt@gmail.com>
Fri, 07 Jun 2013 18:14:58 +0200
changeset 923 fc2887823d3d
parent 616 151ebf102b92
child 1186 e10c0c8ec4d5
permissions -rw-r--r--
Added tag V02.29 for changeset 6f6e0d348a67
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
?>