Quick and ugly fix to avoid key collision on medal request insertion.

Signed-off-by: Florent Bruneau <florent.bruneau@polytechnique.org>

diff --git a/modules/profile/decos.inc.php b/modules/profile/decos.inc.php
index 85d2a86..4a6bd69 100644 (file)
--- a/modules/profile/decos.inc.php
+++ b/modules/profile/decos.inc.php
@@ -78,6 +78,7 @@ class ProfileDeco implements ProfileSetting
             if (!isset($orig[$id]) || $orig[$id]['grade'] != $val['grade']) {
                 $req = new MedalReq(S::user(), $id, $val['grade']);
                 $req->submit();
+                sleep(1);
             }
         }
     }