diff options
Diffstat (limited to 'beta_old1/app/include/ludo/redir.inc.php')
| -rw-r--r-- | beta_old1/app/include/ludo/redir.inc.php | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/beta_old1/app/include/ludo/redir.inc.php b/beta_old1/app/include/ludo/redir.inc.php new file mode 100644 index 0000000..6baf40d --- /dev/null +++ b/beta_old1/app/include/ludo/redir.inc.php @@ -0,0 +1,20 @@ +<?php +function html_redir($dest) +{ + header("Location: $dest"); +require_once('html_elements.inc.php'); +generate_html_doctype_and_head("Redirection"); +?> +<body> + <h1>Redirection</h1> + <p>Si vous voyez cette page, merci de suivre le lien ci-dessous</p> +<?php + // Ne respecte pas le XHTML s'il y a des paramètres les & doivent être remplacée par & + echo '<p><a href="' . $dest . '">' . $dest . '</a></p>' . "\n"; +?> +</body> +</html> +<?php + exit(); +} +?>
\ No newline at end of file |