src/driver.h
branchnoai
changeset 10920 e33442a2b239
parent 10645 8cbdb511a674
child 11126 72d4c9314c72
--- a/src/driver.h	Wed Jun 11 14:55:10 2008 +0000
+++ b/src/driver.h	Wed Jun 11 15:23:32 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
 	 */