80 |
(**************************************************************************) |
(**************************************************************************) |
81 |
|
|
82 |
let set_logfile extension = |
let set_logfile extension = |
83 |
match !Settings.logfile with |
if !Settings.filelog then |
84 |
| None -> () |
let fname = (Filename.concat !Settings.basedir "log") ^ extension in |
85 |
| Some fname -> |
stored_logfile_name := Some fname; |
86 |
let fname = (Filename.concat !Settings.basedir fname) ^ extension in |
logfile := open_out_gen [ Open_wronly; Open_creat; Open_append; ] |
87 |
stored_logfile_name := Some fname; |
0o600 fname; |
88 |
logfile := open_out_gen [ Open_wronly; Open_creat; Open_append; ] |
ignore (plerror 0 "Opening log") |
|
0o600 fname; |
|
|
ignore (plerror 0 "Opening log") |
|
89 |
|
|
90 |
let reopen_logfile () = |
let reopen_logfile () = |
91 |
match !stored_logfile_name with |
match !stored_logfile_name with |