(cache_sync_all): Return early if param.never_save is set, so that the

	database won't be saved even at normal server shutdown.

src/server/simple-cache.c

 /*
- * $Id: simple-cache.c,v 0.89 1999/07/24 23:39:53 ceder Exp $
+ * $Id: simple-cache.c,v 0.90 2000/04/28 20:49:31 ceder Exp $
  * Copyright (C) 1991-1999  Lysator Academic Computer Association.
  *
  * This file is part of the LysKOM server.
@@ -40,7 +40,7 @@
 #endif
 
 static const char *
-rcsid = "$Id: simple-cache.c,v 0.89 1999/07/24 23:39:53 ceder Exp $";
+rcsid = "$Id: simple-cache.c,v 0.90 2000/04/28 20:49:31 ceder Exp $";
 #include "rcs.h"
 USE(rcsid);
 
@@ -2729,6 +2729,9 @@ init_cache(void)
 extern void
 cache_sync_all(void)
 {
+    if (param.never_save)
+	return;
+
     pre_sync();
     while ( sync_part() != TRUE )
 	;