1 files changed, 20 insertions, 0 deletions
diff --git a/final/app/include/ludo/redir.inc.php b/final/app/include/ludo/redir.inc.php
new file mode 100644
index 0000000..2edec6e
--- /dev/null
+++ b/final/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&egrave;tres les & doivent &ecirc;tre remplac&eacute;e par &amp;
+	echo '<p><a href="' . urlencode($dest) . '">' . htmlentities($dest, ENT_QUOTES) . '</a></p>' . "\n";
+?>
+</body>
+</html>
+<?php
+	exit();
+}
+?>
+\ No newline at end of file