eliminated double library_deinit()

2009-09-19 00:00:56 +02:00
parent 309b8b3956
commit 05a6a77d85
1 changed files with 0 additions and 1 deletions
@@ -521,6 +521,5 @@ end:
 	closelog();
 	dbg = dbg_default;
 	options->destroy(options);
-	library_deinit();
 	exit(status);
 }