From f61f6e6f024b2f8e68cbc2ba3db002dfa80e7f08 Mon Sep 17 00:00:00 2001
From: Stefan Rueger <stefan.rueger@urclocks.com>
Date: Mon, 22 Apr 2024 15:47:54 +0100
Subject: [PATCH] Render double teardown() harmless in serialupdi

---
 src/serialupdi.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/serialupdi.c b/src/serialupdi.c
index 210b24d4..1664670c 100644
--- a/src/serialupdi.c
+++ b/src/serialupdi.c
@@ -56,6 +56,7 @@ static void serialupdi_setup(PROGRAMMER *pgm) {
 
 static void serialupdi_teardown(PROGRAMMER *pgm) {
   mmt_free(pgm->cookie);
+  pgm->cookie = NULL;
 }
 
 static int serialupdi_open(PROGRAMMER *pgm, const char *port) {