Paillasse/ansible/correcteur.yml

---
# Étape 11 du déploiement Syllabus : service de correction des labs.
# Rejoue aussi `portail` : il dépose les lab.yaml dans /opt/labs, que lit
# le correcteur.
- name: Portail et correcteur
  hosts: syllabus
  become: true
  gather_facts: true
  roles:
    - portail
    - correcteur
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création de stack ratée est supprimée et réessayée deux fois, puis la session passe en échec, visible du prof. Corrige aussi trois défauts des étapes précédentes : la console se coupait à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas rejoindre une séance, la déconnexion n'avait pas de jeton CSRF. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> 2026-10-08 21:52:16 +02:00			`---`
			`# Étape 11 du déploiement Syllabus : service de correction des labs.`
			# Rejoue aussi `portail` : il dépose les lab.yaml dans /opt/labs, que lit
			`# le correcteur.`
			`- name: Portail et correcteur`
			`hosts: syllabus`
			`become: true`
			`gather_facts: true`
			`roles:`
			`- portail`
			`- correcteur`