3 open System.Collections.Generic
7 type internal Listeners () =
10 let listeners = List<IListener> ()
12 member this
.Add (listener
: IListener) =
15 if not
<| listeners.Contains listener then
16 listeners.Add listener
19 member this
.Remove (listener : IListener) =
22 listeners.Remove listener |> ignore
25 member this
.NewEntry (message
: Message) =
28 if listeners.Count > 0 then
29 let header = Utils.formatHeader message
30 for listener in listeners do
31 listener.NewEntry message
.Severity header message
.Message