821 |
let basename = Filename.basename filename in |
let basename = Filename.basename filename in |
822 |
let old_config = Filename.concat dirname "old_config" in |
let old_config = Filename.concat dirname "old_config" in |
823 |
if not (Sys.file_exists old_config) then Unix.mkdir old_config 0o755; |
if not (Sys.file_exists old_config) then Unix.mkdir old_config 0o755; |
824 |
let old_file = Filename.concat old_config filename in |
let old_file = Filename.concat old_config basename in |
825 |
let old_old_file = filename ^ ".old" in |
let old_old_file = filename ^ ".old" in |
826 |
if not (Sys.file_exists old_file) && (Sys.file_exists old_old_file) then |
if not (Sys.file_exists old_file) && (Sys.file_exists old_old_file) then |
827 |
Sys.rename old_old_file old_file; |
Sys.rename old_old_file old_file; |