From f0a8f655c0d547f3804207d40a2f1a7e05b4c5c8 Mon Sep 17 00:00:00 2001
From: Craig Robbins <kde.psych@gmail.com>
Date: Sat, 15 Nov 2014 22:33:52 +1000
Subject: [PATCH] Fix double free bug when server is shut down

Thanks @oleastre
---
 src/mapgen.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mapgen.h b/src/mapgen.h
index cfecb3206..cf2120a7a 100644
--- a/src/mapgen.h
+++ b/src/mapgen.h
@@ -136,6 +136,7 @@ struct MapgenFactory {
 
 class GenElement {
 public:
+	virtual ~GenElement() {}
 	u32 id;
 	std::string name;
 };
-- 
2.25.1