From e308f52e2698950b6660367368a73c62e05c0e7d Mon Sep 17 00:00:00 2001
From: h_vogt <h_vogt>
Date: Tue, 20 Aug 2013 20:42:34 +0200
Subject: [PATCH] runcoms2.c: set freed pointers to NULL

---
 src/frontend/runcoms2.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/frontend/runcoms2.c b/src/frontend/runcoms2.c
index 338a76c3b..63d9739c7 100644
--- a/src/frontend/runcoms2.c
+++ b/src/frontend/runcoms2.c
@@ -206,6 +206,8 @@ com_remcirc(wordlist *wl)
     }
 
     dbfree(ft_curckt->ci_dbs);
+    ft_curckt->ci_dbs = NULL;
+    dbs = NULL;
 
     /* The next lines stem from com_rset */
     INPkillMods();