There is no need to create a new log file, it has not been deleted.

2024-08-30 18:12:35 +00:00 · 2012-05-19 21:08:34 +01:00 · 2012-05-19 21:08:34 +01:00 · 244617bfe9
commit 244617bfe9
parent da7e589f49
1 changed files with 0 additions and 3 deletions
--- a/3
+++ b/3
@ -483,9 +483,6 @@ log_roll() {
 	    echo "Failed to rotate logs to $path.gz"
 	fi
 	
-	# Make sure to create a new log file, to avoid possible confusion
-	as_user "touch $SERVER_LOG"
-	
 	echo "Done."
 }