values are in milliseconds!
</li></ul></div></div><h1 id="g:5">Pusher
</h1><div class="top"><p class="src"><span class="keyword">data</span>  <a name="t:PusherA" class="def">PusherA</a> o </p><div class="doc"><p>The Pusher data type, which implements
   the consumer side of the pipeline protocol.
   Note that, when we say <a href="consumer.html">consumer</a> here,
   the pusher is actually a data producer,
   but consumes the effect of having a task done.
   The pusher can be seen as a client
   that does n