Sybren A. Stüvel f155715d12 Web: re-fetch jobs after reconnecting to backend ...

If the backend connection was lost, and then obtained again, just fetch
all available jobs to ensure the presented data is fresh.

2022-04-08 15:03:04 +02:00

..

app

Web: re-fetch jobs after reconnecting to backend

2022-04-08 15:03:04 +02:00

manager-api

OAPI: regenerate OpenAPI code

2022-04-08 12:04:34 +02:00