Merge pull request #16633 from frederic34/patch-3

fix number is already used doesn't propose new code with elephant
This commit is contained in:
Laurent Destailleur 2021-03-12 20:18:46 +01:00 committed by GitHub
commit fede7b7a15
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -303,6 +303,11 @@ class mod_codeclient_elephant extends ModeleThirdPartyCode
{
$this->error = $result;
return -6;
} else {
$is_dispo = $this->verif_dispo($db, $code, $soc, $type);
if ($is_dispo <> 0) {
$result = -3;
}
}
}