1
From: Eugeniy Meshcheryakov <eugen@debian.org>
2
Subject: [PATCH] fixes/unsafe-tmp-handling
4
Patch fixes unsafe temporary file handling (reported to upstream).
6
Signed-off-by: Eugeniy Meshcheryakov <eugen@debian.org>
10
1 files changed, 2 insertions(+), 0 deletions(-)
12
diff --git a/main.ml b/main.ml
13
index 7aa9ab5..02b4357 100644
16
@@ -798,9 +798,11 @@ let main_action xs =
18
if !output_file =$= ""
21
let tmpfile = "/tmp/"^Common.basename infile in
22
pr2 (spf "One file modified. Result is here: %s" tmpfile);
23
Common.command2 ("cp "^outfile^" "^tmpfile);
27
if !output_file <> "" then
28
tg: (220e8c3..) fixes/unsafe-tmp-handling (depends on: upstream)