Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 949ed2b0 authored by Davide Pala's avatar Davide Pala

Removed some strcmp with std::string and unnecessary c_str() calls

Fixed some comparison between unsigned and signed integers
parent 8fbb35bf
Pipeline #169208 passed with stages
in 5 minutes and 56 seconds