Jobs: reconnect websocket on close

pmeunier

May 4, 2026, 11:00 PM

EAHHH3UTBFBRDZCYXAOCNA2B3UAXE6YNOV6Q5TEFIBA7V2IZARIQC

Dependencies

• [2] D4SBRY6K Initial patch
• [3] YYJ76Q7V Initial attempt at CI/CD
• [4] 5VX32NQS Debugging settings/repos

Change contents

• edit in ui/src/routes/[user]/[repo]/tree/[[pos]]/+page.svelte at line 5
  [2.56063]→[2.56063:56107](∅→∅)
  − import type { PageData } from './$types';
• edit in ui/src/routes/[user]/[repo]/jobs/[job]/+page.svelte at line 13
  [3.4347]

  [3.4347]
  + let ansi_up = new AnsiUp();
• replacement in ui/src/routes/[user]/[repo]/jobs/[job]/+page.svelte at line 15
  [3.4348]→[3.4348:4398](∅→∅)
  − onMount(() => {

  − let ansi_up = new AnsiUp();
  [3.4348]

  [3.4398]
  + function websocket() {
• edit in ui/src/routes/[user]/[repo]/jobs/[job]/+page.svelte at line 33
  [3.4956]

  [3.4956]
  + };

  +

  + socket.onclose = () => {

  + websocket();
• edit in ui/src/routes/[user]/[repo]/jobs/[job]/+page.svelte at line 38
  [3.4963]

  [3.4963]
  + }

  +

  + onMount(() => {

  + websocket();