Certains ont pu remarquer une coupure qui a duré un peu plus de 10 minutes ce soir: en effet notre serveur web est devenu très gourmand en sémaphores (problème inconnu jusqu'à lors) qu'il a fallu exécuter pour le bien du plus grand nombre:

# ipcs -s | awk '$1 ~ /0/ {system("ipcrm -s "$2)}'

Le service devrait être totalement revenu à la normale