úÎä¾     NoneM ÄOptions to control how to connect to the push server and how often to flush metrics. The flush interval should be shorter than the flush interval push itself uses to flush data to its backends.Data push interval, in ms.Print debug output to stderr."Prefix to add to all metric names.wSuffix to add to all metric names. This is particularly useful for sending per host stats by settings this value to: "takeWhile (/= '.') <$> getHostName, using  getHostName from the  Network.BSD module in the network package.rA new PushChan is created on every call to subscribe. This is essentially a dupChan of our main channel (mainCh).GA handle that can be used to control the push sync thread. Created by  .†The thread ID of the push sync thread. You can stop the sync by killing this thread (i.e. by throwing it an asynchronous exception.)  Defaults: flushInterval = 1000debug = False LCreate a thread that periodically flushes the metrics in the store to push. (Subscribe to the push broadcast channel. ;Consume a Metrics.Sample message from a subscribed channel. Microseconds since epoch. Options Metric storePush sync handle*ekg-push clients subscribe to this channel Metric StoreLast sampled metricsOptions           ekg-push-0.0.2System.Remote.Monitoring.Push PushOptions flushIntervaldebugprefixsuffixPushChanPush pushThreadIddefaultPushOptionsforkPush subscribeconsumetime PushChanTypechthreadIdmainChloop diffSamples