On Mon, 30 Oct 2000, Gilles Detillieux wrote:
> The Server class maintains its own private document count which it
> increments whenever you do a push(), whether that push() comes from
> a got_href() or a got_redirect(). You'd either need to add a Server
> method that lets you decrement this counter from the Retriever class,
Yes, I'll fix this shortly--I'll add an optional parameter to push() with
the increment value (defaulting to 1).
--
-Geoff Hutchison
Williams Students Online
http://wso.williams.edu/
------------------------------------
To unsubscribe from the htdig3-dev mailing list, send a message to
[EMAIL PROTECTED]
You will receive a message to confirm this.
