From 4b9cf4eaf52fbd7ffd5c3bf16ea38aaaed80747b Mon Sep 17 00:00:00 2001
From: Tigran Aivazian <tigran@bibles.org.uk>
Date: Tue, 18 Sep 2012 23:52:11 +0100
Subject: [PATCH] Use os.remove() instead of os.execute("rm...") because it is
 less expensive as it uses remove(3) C library function rather than
 fork/exec-ing a new process.

---
 filehistory.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/filehistory.lua b/filehistory.lua
index 6fc5bd717..e5cffdcc8 100644
--- a/filehistory.lua
+++ b/filehistory.lua
@@ -217,7 +217,7 @@ function FileHistory:addAllCommands()
 		function(self)
 			file_entry = self.result[self.perpage*(self.page-1)+self.current]
 			local file_to_del = file_entry.dir .. "/" .. file_entry.name
-			os.execute("rm \""..DocToHistory(file_to_del).."\"")
+			os.remove(DocToHistory(file_to_del))
 			-- to avoid showing just deleted file
 			self:init()
 			self:setSearchResult(self.keywords)