X-Git-Url: http://git.euphorik.ch/?a=blobdiff_plain;f=Parasitemia%2FParasitemiaUI%2FUtils.fs;h=8635bcde813703bfc6e17ce2d48bdaab4aeba28e;hb=d3f9cd7b16d25f49bd8d06394b0f1d4040809fbd;hp=384a0d02ff0dd47df48496b5f0585ef9e03ef34e;hpb=2d712781def419c9acc98368f7102b19b064f16d;p=master-thesis.git diff --git a/Parasitemia/ParasitemiaUI/Utils.fs b/Parasitemia/ParasitemiaUI/Utils.fs index 384a0d0..8635bcd 100644 --- a/Parasitemia/ParasitemiaUI/Utils.fs +++ b/Parasitemia/ParasitemiaUI/Utils.fs @@ -28,6 +28,7 @@ let sensorSizesFilepath = Path.Combine (roamingDir, sensorSizesFilename) let private savePredefinedPPIToFile (predefinedPPI : PredefinedPPI list) = try + Directory.CreateDirectory roamingDir |> ignore use file = new StreamWriter (predefinedPPIFilepath) file.Write (JsonConvert.SerializeObject (predefinedPPI, JsonSerializerSettings (Formatting = Formatting.Indented))) with @@ -36,6 +37,7 @@ let private savePredefinedPPIToFile (predefinedPPI : PredefinedPPI list) = let private saveSensorSizesToFile (sensorSizes : SensorSize list) = try + Directory.CreateDirectory roamingDir |> ignore use file = new StreamWriter (sensorSizesFilepath) file.Write (JsonConvert.SerializeObject (sensorSizes, JsonSerializerSettings (Formatting = Formatting.Indented))) with @@ -47,7 +49,7 @@ let predefinedPPI : PredefinedPPI list = use file = new StreamReader (predefinedPPIFilepath) JsonConvert.DeserializeObject (file.ReadToEnd ()) with - | ex -> + | _ex -> savePredefinedPPIToFile defaultPredefinedPPI defaultPredefinedPPI @@ -56,6 +58,6 @@ let sensorSizes : SensorSize list = use file = new StreamReader (sensorSizesFilepath) JsonConvert.DeserializeObject (file.ReadToEnd ()) with - | ex -> + | _ex -> saveSensorSizesToFile defaultSensorSizes defaultSensorSizes