projects
/
platal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
fix bug with deletion of lists: DB was not purged
[platal.git]
/
htdocs.net
/
groupe
/
annuaire-admin.php
diff --git
a/htdocs.net/groupe/annuaire-admin.php
b/htdocs.net/groupe/annuaire-admin.php
index
22a7fe8
..
91c7b41
100644
(file)
--- a/
htdocs.net/groupe/annuaire-admin.php
+++ b/
htdocs.net/groupe/annuaire-admin.php
@@
-34,7
+34,7
@@
foreach ($subscribers as $mail) {
if (strstr($mail, '@polytechnique.org') === false) {
$not_in_group_ext[] = $mail;
} else {
- $not_in_group_x = $mail;
+ $not_in_group_x
[]
= $mail;
}
}
}