src/driver.cpp
branchnoai
changeset 10920 e33442a2b239
parent 10867 5de2923d6e59
child 11044 097ea3e7ec56
--- a/src/driver.cpp	Wed Jun 11 14:55:10 2008 +0000
+++ b/src/driver.cpp	Wed Jun 11 15:23:32 2008 +0000
@@ -183,3 +183,18 @@
 
 	return p;
 }
+
+/** Frees memory used for this->name
+ */
+DriverFactoryBase::~DriverFactoryBase() {
+	if (this->name == NULL) return;
+
+	/* Prefix the name with driver type to make it unique */
+	char buf[32];
+	strecpy(buf, GetDriverTypeName(type), lastof(buf));
+	strecpy(buf + 5, this->name, lastof(buf));
+
+	GetDrivers().erase(buf);
+	if (GetDrivers().empty()) delete &GetDrivers();
+	free(this->name);
+}