Closed alexhsamuel closed 8 months ago
For #305. This is completely a temporary fix; pushing run log updates from the backend to the web UI via the websocket is the right way to do it, but will require some work.
For #305. This is completely a temporary fix; pushing run log updates from the backend to the web UI via the websocket is the right way to do it, but will require some work.