From 798af20018e0ffbf24315bbbbc1d1f7a5650257e Mon Sep 17 00:00:00 2001
From: Claas Augner <495429+caugner@users.noreply.github.com>
Date: Fri, 24 Jan 2025 21:37:52 +0100
Subject: [PATCH] Update index.ts

Rename function and reference curl option.
---
 server/index.ts | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/server/index.ts b/server/index.ts
index 4aac7b76f69d..5b2da7020558 100644
--- a/server/index.ts
+++ b/server/index.ts
@@ -61,11 +61,12 @@ import { handleRunner } from "../libs/play/index.js";
 async function fetch_from_rari(path: string) {
   const external_url = `${EXTERNAL_DEV_SERVER}${path}`;
   console.log(`using ${external_url}`);
-  const response = await fetchRetryIfRefused(external_url, 5);
+  const response = await fetchWithRetryIfConnRefused(external_url, 5);
   return await response.json();
 }
 
-async function fetchRetryIfRefused(
+// Simulates `curl --retry-connrefused`.
+async function fetchWithRetryIfConnRefused(
   url: string,
   maxRetries: number,
   baseDelay = 1000