src/core.c

changeset 4082
0cb2b86d19b4
parent 4073
1270bfb58221
child 4349
a65175463a31
--- a/src/core.c	Mon Dec 16 00:19:44 2002 +0000
+++ b/src/core.c	Mon Dec 16 03:58:54 2002 +0000
@@ -495,7 +495,7 @@
 
 void core_quit()
 {
-	save_prefs();
+	/* don't save prefs after plugins are gone... */
 #ifndef _WIN32
 	{
 	char buf[1024];

mercurial