Avoid frequent restarts when the connection drops on the job page

pmeunier

May 26, 2026, 11:47 AM

5TATG2OWYOOJUPSK2KS4UF2BYYBUYFH44TR6NUZXH3K6EEZHJXUAC

Dependencies

• [2] YYJ76Q7V Initial attempt at CI/CD
• [3] EAHHH3UT Jobs: reconnect websocket on close
• [4] 66KFWFTH Avoid infinite loop on a job that has already ended
• [5] 4LI4UD4D fixing a websocket issue on the jobs page

Change contents

• replacement in ui/src/routes/[user]/[repo]/jobs/[job]/+page.svelte at line 11
  [2.4280]→[2.4280:4305](∅→∅)
  − let socket: WebSocket;
  [2.4280]

  [2.4305]
  + let socket: WebSocket | undefined = undefined;
• replacement in ui/src/routes/[user]/[repo]/jobs/[job]/+page.svelte at line 38
  [5.24]→[4.38:59](∅→∅),[4.38]→[4.38:59](∅→∅)
  − websocket();
  [5.24]

  [4.59]
  + socket = undefined;
• replacement in ui/src/routes/[user]/[repo]/jobs/[job]/+page.svelte at line 44
  [3.137]→[3.137:154](∅→∅)
  − websocket();
  [3.137]

  [2.4963]
  + setInterval(() => {

  + if (!socket) websocket();

  + }, 1000);