X-Git-Url: http://git.euphorik.ch/?p=master-thesis.git;a=blobdiff_plain;f=Parasitemia%2FLogger%2FLogger.fs;h=1f029d52cf377299f45b995c27cc8efc55ff4161;hp=552e37dd1e5859590a6826a6b82bbed3caaf50f5;hb=6c70577f0bcc17881c753f7a527d2ff4672bb6aa;hpb=3990946e49fe34e9adcf0e04b0418cd16676e6fe

diff --git a/Parasitemia/Logger/Logger.fs b/Parasitemia/Logger/Logger.fs
index 552e37d..1f029d5 100644
--- a/Parasitemia/Logger/Logger.fs
+++ b/Parasitemia/Logger/Logger.fs
@@ -139,12 +139,14 @@ type Log () =
     static member AddListener (listener: IListener) = instance.AddListener(listener)
     static member RmListener (listener: IListener) = instance.RmListener(listener)
 
-    static member LogWithTime (message: string, severity: Severity, f: unit -> 'a, [<ParamArray>] args: Object[]) : 'a =
+    static member LogWithTime (message: string, severity: Severity, f: unit -> 'a option, [<ParamArray>] args: Object[]) : 'a option =
         let sw = Stopwatch()
         sw.Start()
         let res = f ()
         sw.Stop()
-        instance.Write(String.Format(message, args) + sprintf " (time: %d ms)" sw.ElapsedMilliseconds, severity)
+        if res.IsSome
+        then
+            instance.Write(String.Format(message, args) + sprintf " (time: %d ms)" sw.ElapsedMilliseconds, severity)
         res
 
     static member Debug (message: string, [<ParamArray>] args: Object[]) =