From 7398dc98e364af49279fa420789467b3d69ed84b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 7 Feb 2020 16:24:46 +0100
Subject: [PATCH] [wp] force create session on script saving
---
src/plugins/wp/ProofSession.ml | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/plugins/wp/ProofSession.ml b/src/plugins/wp/ProofSession.ml
index 5c51f11f39d..247566a25aa 100644
--- a/src/plugins/wp/ProofSession.ml
+++ b/src/plugins/wp/ProofSession.ml
@@ -29,8 +29,8 @@ type status =
let files : (string,status) Hashtbl.t = Hashtbl.create 32
-let filename wpo =
- let d = Wp_parameters.get_session_dir ~force:false "script" in
+let filename ~force wpo =
+ let d = Wp_parameters.get_session_dir ~force "script" in
Printf.sprintf "%s/%s.json" d wpo.po_gid
let legacies wpo =
@@ -42,7 +42,7 @@ let legacies wpo =
]
let status wpo =
- let f = filename wpo in
+ let f = filename ~force:false wpo in
try Hashtbl.find files f
with Not_found ->
let status =
@@ -86,7 +86,7 @@ let remove wpo =
Wp_parameters.feedback
"Removed deprecated script for '%s'" wpo.po_sid ;
Extlib.safe_remove f0 ;
- Hashtbl.replace files (filename wpo) NoScript ;
+ Hashtbl.replace files (filename ~force:true wpo) NoScript ;
end
let save wpo js =
@@ -99,7 +99,7 @@ let save wpo js =
| Script f -> Json.save_file f js
| NoScript ->
begin
- let f = filename wpo in
+ let f = filename ~force:true wpo in
Json.save_file f js ;
Hashtbl.replace files f (Script f) ;
end
@@ -108,7 +108,7 @@ let save wpo js =
Wp_parameters.feedback
"Upgraded script for '%s'" wpo.po_sid ;
Extlib.safe_remove f0 ;
- let f = filename wpo in
+ let f = filename ~force:true wpo in
Json.save_file f js ;
Hashtbl.replace files f (Script f) ;
end
--
GitLab