src/driver.h
changeset 9489 1a097da71d88
parent 9260 b84588111694
child 9582 3a55657869eb
--- a/src/driver.h	Tue Jun 10 21:59:22 2008 +0000
+++ b/src/driver.h	Wed Jun 11 12:46:28 2008 +0000
@@ -67,20 +67,7 @@
 		name(NULL)
 	{}
 
-	/** Frees memory used for this->name
-	 */
-	virtual ~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);
-	}
+	virtual ~DriverFactoryBase();
 
 	/** Shuts down all active drivers
 	 */