frontend: $team is a derivated store now, use teamStore instead

This commit is contained in:
nemunaire 2023-11-04 19:09:57 +01:00
parent 5a9d2226e4
commit ac39fe2493
1 changed files with 2 additions and 2 deletions

View File

@ -16,7 +16,7 @@
import { blake2b } from 'hash-wasm';
import { my } from '$lib/stores/my.js';
import { teams } from '$lib/stores/teams.js';
import { teamsStore } from '$lib/stores/teams.js';
import { settings } from '$lib/stores/settings.js';
import DateFormat from './DateFormat.svelte';
@ -31,7 +31,7 @@
my.refresh((my) => {
if (my && (my.exercices[exercice.id].tries != exercice.tries || my.exercices[exercice.id].solved_rank != exercice.solved_rank || my.exercices[exercice.id].solved_time != exercice.solved_time)) {
submitInProgress = false;
teams.refresh();
teamsStore.refresh();
} else if (i > 0) {
setTimeout(waitDiff, (12-i)*50+440, i-1);
} else {