Browse Source

Modify tmp file name

 - Not a dev value, a serious name
Leo 10 years ago
parent
commit
788819689e
1 changed files with 1 additions and 1 deletions
  1. 1 1
      const.ml

+ 1 - 1
const.ml

@@ -41,7 +41,7 @@ open Core.Std;;
 (* Some settings variales *)
 let rc_file = "rc_test.json";; (* TODO Dev value, change this *)
 (* Set tmp file, in witch stock launches *)
-let tmp_file = "/tmp/tmp_test.json";; (* TODO Dev value, change this *)
+let tmp_file = "/tmp/oclaunch_trace.json";; (* File lanch are logged *)
 (* Template for the tmp file *)
 let (tmp_file_template:Yojson.Basic.json) = `Assoc
                                               [ "cmd", `List [];