pepperplus/pepperplus-ui
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

feat: The Big One UI #47

Merged
j.gerla merged 115 commits from temp_screenshot_manual into dev 2026-01-28 08:27:30 +00:00
Conversation 10 Commits 115 Files Changed 45 +15 -8
1 changed files with 15 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit f95b1148d9 - Show all commits

21
src/pages/MonitoringPage/MonitoringPage.tsx
View File

@@ -24,17 +24,24 @@ const MonitoringPage: React.FC = () => {
const [phaseIndex, setPhaseIndex] = React.useState(0); const [phaseIndex, setPhaseIndex] = React.useState(0);
const isFinished = phaseIndex >= phaseIds.length; //determines if experiment is over //see if we reached end node
const [isFinished, setIsFinished] = React.useState(false);
const handleStreamUpdate = React.useCallback((data: any) => { const handleStreamUpdate = React.useCallback((data: any) => {
// Check for phase updates // Check for phase updates
if (data.type === 'phase_update' && data.phase_id) { if (data.type === 'phase_update' && data.phase_id) {
const allIds = getPhaseIds(); if (data.phase_id === "end") {
const newIndex = allIds.indexOf(data.phase_id); setIsFinished(true);
if (newIndex !== -1) { } else {
setPhaseIndex(newIndex); setIsFinished(false);
setGoalIndex(0); //when phase change we reset the index
} const allIds = getPhaseIds();
const newIndex = allIds.indexOf(data.phase_id);
if (newIndex !== -1) {
setPhaseIndex(newIndex);
setGoalIndex(0);
}
}
} }
else if (data.type === 'goal_update') { else if (data.type === 'goal_update') {
const currentPhaseGoals = getGoalsInPhase(phaseIds[phaseIndex]) as any[]; const currentPhaseGoals = getGoalsInPhase(phaseIds[phaseIndex]) as any[];