Merging dev into main #49

Merged
8464960 merged 260 commits from dev into main 2026-01-28 10:48:52 +00:00
Showing only changes of commit 87cf723c95 - Show all commits

View File

@@ -4,8 +4,6 @@ export default function ConnectedRobots() {
const [connected, setConnected] = useState<boolean | null>(null);
useEffect(() => {
// We're excepting a stream of data like that looks like this: `data = False` or `data = True`
const eventSource = new EventSource("http://localhost:8000/robot/ping_stream");
@@ -29,7 +27,7 @@ export default function ConnectedRobots() {
}
};
return () => eventSource.close();
});
}, []);
return (
<div>