From 5280a25d4dd5aaac968d05b842e8da4b20c53461 Mon Sep 17 00:00:00 2001 From: orosmatthew Date: Mon, 8 May 2023 21:21:14 -0400 Subject: [PATCH] [sandbox] Catch failed fetch --- sandbox/src/index.ts | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/sandbox/src/index.ts b/sandbox/src/index.ts index 3c9deba..0327f42 100644 --- a/sandbox/src/index.ts +++ b/sandbox/src/index.ts @@ -106,7 +106,14 @@ const repoUrl = process.env.REPO_URL as string; const javaBinPath = process.env.JAVA_PATH as string; async function loop() { - const submissionData = await fetchQueuedSubmission(); + let submissionData: SubmissionGetData | undefined; + try { + submissionData = await fetchQueuedSubmission(); + } catch { + console.error('Failed to fetch submission'); + return; + } + if (!submissionData) { console.error('Unable to fetch submission data'); } else {