From 244617bfe9acd3071f6f7c38971f66867a5872f2 Mon Sep 17 00:00:00 2001
From: Marcus Whybrow <marcus@marcuswhybrow.net>
Date: Sat, 19 May 2012 21:08:34 +0100
Subject: [PATCH] There is no need to create a new log file, it has not been
 deleted.

---
 minecraft | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/minecraft b/minecraft
index 3576509..c19ec52 100644
--- a/minecraft
+++ b/minecraft
@@ -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."
 }