web/jenkins/index.php
author Nicolas Sauret <nicolas.sauret@iri.centrepompidou.fr>
Fri, 29 Nov 2013 18:14:45 +0100
changeset 1022 92429e14ca48
parent 616 151ebf102b92
child 1186 e10c0c8ec4d5
permissions -rw-r--r--
Added tag V02.54 for changeset 28152c43cb10
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
?>