2026-10-08 02:01:58 +02:00
|
|
|
<?php
|
|
|
|
|
|
|
|
|
|
namespace App\Http\Controllers;
|
|
|
|
|
|
2026-10-08 10:14:24 +02:00
|
|
|
use App\Jobs\CreerStackLab;
|
2026-10-08 02:01:58 +02:00
|
|
|
use App\Models\Classe;
|
|
|
|
|
use App\Models\LabSession;
|
|
|
|
|
use App\Models\Seance;
|
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
|
|
|
use App\Services\Labs\StockChaud;
|
|
|
|
|
use Illuminate\Http\JsonResponse;
|
2026-10-08 02:01:58 +02:00
|
|
|
use Illuminate\Http\RedirectResponse;
|
|
|
|
|
use Illuminate\Http\Request;
|
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
|
|
|
use Illuminate\Support\Carbon;
|
2026-10-08 02:01:58 +02:00
|
|
|
use Illuminate\Support\Facades\Auth;
|
|
|
|
|
use Illuminate\View\View;
|
|
|
|
|
|
|
|
|
|
class SeanceController extends Controller
|
|
|
|
|
{
|
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
|
|
|
/**
|
|
|
|
|
* Sans date : la salle d'attente s'ouvre tout de suite. Avec une date :
|
|
|
|
|
* séance planifiée, le stock chaud du lab se remplit 10 minutes avant.
|
|
|
|
|
*/
|
2026-10-08 02:01:58 +02:00
|
|
|
public function store(Request $request, Classe $classe): RedirectResponse
|
|
|
|
|
{
|
|
|
|
|
abort_if($classe->user_id !== Auth::guard('web')->id(), 403);
|
|
|
|
|
|
2026-10-09 21:07:25 +02:00
|
|
|
if ($classe->estArchivee()) {
|
|
|
|
|
return back()->withErrors(['prevue_a' => 'Cette classe est archivée : désarchive-la pour lancer une séance.']);
|
|
|
|
|
}
|
|
|
|
|
|
2026-10-08 02:01:58 +02:00
|
|
|
$donnees = $request->validate([
|
|
|
|
|
'lab_id' => ['required', 'exists:labs,id'],
|
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
|
|
|
'prevue_a' => ['nullable', 'date_format:Y-m-d\TH:i'],
|
2026-10-08 02:01:58 +02:00
|
|
|
]);
|
|
|
|
|
|
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
|
|
|
if (! empty($donnees['prevue_a'])) {
|
|
|
|
|
$prevueA = Carbon::createFromFormat('Y-m-d\TH:i', $donnees['prevue_a'], config('app.fuseau_utilisateurs'))->utc();
|
|
|
|
|
|
|
|
|
|
if ($prevueA->isPast()) {
|
|
|
|
|
return back()->withErrors(['prevue_a' => 'Choisis une date à venir.'])->withInput();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
$classe->seances()->create([
|
|
|
|
|
'lab_id' => $donnees['lab_id'],
|
|
|
|
|
'statut' => Seance::PLANIFIEE,
|
|
|
|
|
'prevue_a' => $prevueA,
|
|
|
|
|
]);
|
|
|
|
|
|
|
|
|
|
return redirect()->route('mes-classes.show', $classe)->with('seance_planifiee', true);
|
|
|
|
|
}
|
|
|
|
|
|
2026-10-08 02:01:58 +02:00
|
|
|
$seance = $classe->seances()->create([
|
|
|
|
|
'lab_id' => $donnees['lab_id'],
|
|
|
|
|
'statut' => Seance::SALLE_ATTENTE,
|
|
|
|
|
'demarree_a' => now(),
|
|
|
|
|
]);
|
|
|
|
|
|
|
|
|
|
return redirect()->route('seances.attente', $seance);
|
|
|
|
|
}
|
|
|
|
|
|
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
|
|
|
public function ouvrir(Seance $seance): RedirectResponse
|
|
|
|
|
{
|
|
|
|
|
abort_if($seance->classe->user_id !== Auth::guard('web')->id(), 403);
|
|
|
|
|
|
|
|
|
|
if ($seance->statut === Seance::PLANIFIEE) {
|
|
|
|
|
$seance->update(['statut' => Seance::SALLE_ATTENTE, 'demarree_a' => now()]);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return redirect()->route('seances.attente', $seance);
|
|
|
|
|
}
|
|
|
|
|
|
2026-10-08 02:01:58 +02:00
|
|
|
public function attente(Seance $seance): View
|
|
|
|
|
{
|
|
|
|
|
abort_if($seance->classe->user_id !== Auth::guard('web')->id(), 403);
|
|
|
|
|
|
|
|
|
|
return view('seances.attente', [
|
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
|
|
|
'seance' => $seance->load(['classe', 'lab', 'labSessions.eleve', 'labSessions.machines', 'labSessions.derniereCorrection']),
|
2026-10-08 02:01:58 +02:00
|
|
|
]);
|
|
|
|
|
}
|
|
|
|
|
|
2026-10-08 09:35:16 +02:00
|
|
|
public function consoleProf(Seance $seance, LabSession $labSession): View
|
|
|
|
|
{
|
|
|
|
|
abort_if($seance->classe->user_id !== Auth::guard('web')->id(), 403);
|
|
|
|
|
abort_if($labSession->seance_id !== $seance->id, 404);
|
|
|
|
|
|
|
|
|
|
return view('seances.console-prof', [
|
|
|
|
|
'seance' => $seance->load('lab'),
|
2026-10-08 10:14:24 +02:00
|
|
|
'labSession' => $labSession->load(['eleve', 'machines']),
|
2026-10-08 09:35:16 +02:00
|
|
|
]);
|
|
|
|
|
}
|
|
|
|
|
|
2026-10-08 10:14:24 +02:00
|
|
|
/**
|
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
|
|
|
* Admettre un élève, c'est lancer son lab. Chemin rapide : une stack
|
|
|
|
|
* prête est prise dans le stock chaud et attribuée tout de suite.
|
|
|
|
|
* Chemin lent (stock vide) : CreerStackLab la construit (20 à 40 s).
|
|
|
|
|
* Aussi utilisé pour relancer une session en échec.
|
2026-10-08 10:14:24 +02:00
|
|
|
*/
|
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
|
|
|
public function admettre(Seance $seance, LabSession $labSession, StockChaud $stock): RedirectResponse
|
2026-10-08 02:01:58 +02:00
|
|
|
{
|
|
|
|
|
abort_if($seance->classe->user_id !== Auth::guard('web')->id(), 403);
|
|
|
|
|
abort_if($labSession->seance_id !== $seance->id, 404);
|
|
|
|
|
|
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
|
|
|
// Mise à jour conditionnelle en une seule requête SQL : un double clic
|
|
|
|
|
// (ou deux onglets) ne peut pas lancer deux stacks pour le même élève.
|
|
|
|
|
$pris = LabSession::whereKey($labSession->id)
|
|
|
|
|
->whereIn('etat', [LabSession::EN_ATTENTE, LabSession::ECHEC])
|
|
|
|
|
->update([
|
|
|
|
|
'etat' => LabSession::ADMIS,
|
|
|
|
|
'raison_echec' => null,
|
|
|
|
|
'expire_a' => now()->addMinutes($labSession->lab->duree_min ?? 45),
|
|
|
|
|
]);
|
|
|
|
|
|
|
|
|
|
if ($pris === 0) {
|
|
|
|
|
return redirect()->route('seances.attente', $seance);
|
|
|
|
|
}
|
2026-10-08 10:14:24 +02:00
|
|
|
|
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
|
|
|
$labSession->refresh();
|
|
|
|
|
$pret = $stock->prendre($labSession->lab->identifiant);
|
2026-10-08 10:14:24 +02:00
|
|
|
|
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
|
|
|
if ($pret !== null) {
|
|
|
|
|
$labSession->attribuerStack($pret);
|
|
|
|
|
$stock->confirmerAttribution($pret);
|
|
|
|
|
} else {
|
|
|
|
|
CreerStackLab::dispatch($labSession);
|
|
|
|
|
}
|
2026-10-08 02:01:58 +02:00
|
|
|
|
|
|
|
|
return redirect()->route('seances.attente', $seance);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Un élève rejoint la séance : il patiente jusqu'à ce que le prof l'admette.
|
|
|
|
|
*/
|
|
|
|
|
public function rejoindre(Request $request, Seance $seance): RedirectResponse
|
|
|
|
|
{
|
|
|
|
|
$eleve = Auth::guard('eleve')->user();
|
|
|
|
|
abort_if($eleve->classe_id !== $seance->classe_id, 403);
|
2026-10-09 21:07:25 +02:00
|
|
|
abort_if($seance->classe->estArchivee(), 403);
|
2026-10-08 02:01:58 +02:00
|
|
|
|
|
|
|
|
LabSession::firstOrCreate(
|
|
|
|
|
['seance_id' => $seance->id, 'eleve_id' => $eleve->id],
|
|
|
|
|
['lab_id' => $seance->lab_id, 'etat' => LabSession::EN_ATTENTE],
|
|
|
|
|
);
|
|
|
|
|
|
|
|
|
|
return redirect()->route('seances.eleve.attente', $seance);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
public function attenteEleve(Seance $seance): View|RedirectResponse
|
|
|
|
|
{
|
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
|
|
|
$labSession = $this->sessionDeLEleve($seance);
|
2026-10-08 02:01:58 +02:00
|
|
|
|
|
|
|
|
if ($labSession === null) {
|
|
|
|
|
return redirect()->route('eleve');
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return view('seances.attente-eleve', [
|
|
|
|
|
'seance' => $seance->load('lab'),
|
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
|
|
|
'labSession' => $labSession->load(['machines', 'derniereCorrection']),
|
2026-10-08 02:01:58 +02:00
|
|
|
]);
|
|
|
|
|
}
|
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
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Interrogé chaque seconde par la page d'attente de l'élève : la page se
|
|
|
|
|
* recharge dès que l'état change (au lieu d'un rafraîchissement toutes
|
|
|
|
|
* les 5 s, incompatible avec un lab ouvert en moins de 5 s).
|
|
|
|
|
*/
|
|
|
|
|
public function etatEleve(Seance $seance): JsonResponse
|
|
|
|
|
{
|
|
|
|
|
return response()->json(['etat' => $this->sessionDeLEleve($seance)?->etat]);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
private function sessionDeLEleve(Seance $seance): ?LabSession
|
|
|
|
|
{
|
|
|
|
|
$eleve = Auth::guard('eleve')->user();
|
|
|
|
|
abort_if($eleve->classe_id !== $seance->classe_id, 403);
|
|
|
|
|
|
|
|
|
|
return LabSession::where('seance_id', $seance->id)
|
|
|
|
|
->where('eleve_id', $eleve->id)
|
|
|
|
|
->first();
|
|
|
|
|
}
|
2026-10-08 02:01:58 +02:00
|
|
|
}
|