summaryrefslogtreecommitdiff
path: root/beta_accents/app/include/ludo/redir.inc.php
diff options
context:
space:
mode:
Diffstat (limited to 'beta_accents/app/include/ludo/redir.inc.php')
-rw-r--r--beta_accents/app/include/ludo/redir.inc.php20
1 files changed, 20 insertions, 0 deletions
diff --git a/beta_accents/app/include/ludo/redir.inc.php b/beta_accents/app/include/ludo/redir.inc.php
new file mode 100644
index 0000000..6baf40d
--- /dev/null
+++ b/beta_accents/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 &amp;
+ echo '<p><a href="' . $dest . '">' . $dest . '</a></p>' . "\n";
+?>
+</body>
+</html>
+<?php
+ exit();
+}
+?> \ No newline at end of file