Function onInterval

frontend/js/components/ServerStatus.tsx:14–27

()

  useEffect(() => {
    const onInterval = () => {
      get("/ping", null).then(
        ({ project_id }) => {
          setState(({ projectId }) =>
            projectId === null
              ? { projectId: project_id, serverIsUp: true }
              : { projectId, serverIsUp: projectId === project_id }
          );
        },
        () => {
          setState((s) => ({ ...s, serverIsUp: false }));
        }
      );
    };
    const id = window.setInterval(onInterval, 2000);
    return () => window.clearInterval(id);
  }, []);