server: use the user's session manager to delete a session
Otherwise the session is kept in the in-memory store, while being deleted from the database (so the deletion only happens on the next run).
You don't pay for Framagit, because it is funded by donations to Framasoft. Our not-for-profit needs any support you can afford: support.framasoft.org.
Framagit est gratuit car il est financé par les dons à Framasoft. Notre association a besoin de votre soutien sur soutenir.framasoft.org.
Otherwise the session is kept in the in-memory store, while being deleted from the database (so the deletion only happens on the next run).