projects
/
platal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch 'master' of /home/git/platal into profile_edit
[platal.git]
/
htdocs
/
listes_redirect.php
diff --git
a/htdocs/listes_redirect.php
b/htdocs/listes_redirect.php
index
c3eba99
..
ef1d86a
100644
(file)
--- a/
htdocs/listes_redirect.php
+++ b/
htdocs/listes_redirect.php
@@
-29,7
+29,7
@@
if ($matches) {
$mbox = $matches[2];
$fqdn = strtolower($matches[3]);
$sup = $matches[4];
-
+
if ($fqdn == 'polytechnique.org') {
http_redirect("https://www.polytechnique.org/lists/$action/$mbox$sup");
}