From fe77539731cbcc2470370a05648702c3da9621f5 Mon Sep 17 00:00:00 2001
From: Thomas Kluyver <thomas@kluyver.me.uk>
Date: Mon, 17 Apr 2023 11:07:56 +0100
Subject: [PATCH] Remove unused cursor call

---
 webservice/webservice.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/webservice/webservice.py b/webservice/webservice.py
index a0f9d5679..86495751e 100644
--- a/webservice/webservice.py
+++ b/webservice/webservice.py
@@ -356,7 +356,6 @@ async def run_action(job_db, cmd, mode, proposal, run, exec_id) -> str:
             message = Success.START_CORRECTION.format(proposal, run)
 
         # Save submitted jobs to persistent database.
-        c = job_db.cursor()  # FIXME: asyncio
         rstr = stdout.decode()
 
         for r in rstr.split("\n"):
-- 
GitLab