Re: Object fetchers moved to scheduled operation

I'm missing a load of emails so I've had to manually copy this from
the archive to reply to it, so apologies for thread breakage.

Vincent Sanders wrote:

> As an *extension* fetcher_fdset() exists. This allows a frontend to
> obtain a set of file descriptors the fetchers are using. The
> frontend may then wait for activity on those file descriptors in
> addition to events from the windowing system. Thus only servicing
> the fetchers when there is activity.

OK, that sounds useful. I should be able to use that.

> The fetch servicing occurs specifically when fetcher_fdset() is
> called. In addition the polling is rescheduled to a "long" time in
> the future (currently a second) rather than cancelled altogether.

Just as an aside, I notice this does a schedule for 1s every time it
is called. Should the schedule code be ignoring/rescheduling/deleting
events that are the same? As if this is scheduling a lot of events
for 1s in the future, after a second all those events are going to
fire, which is nearly as bad as polling? Or is there a deletion of
the pending event happening somewhere that I've overlooked?

> Also I feel a bit guilty for how slow we were in integrating and
> debugging the IDN changes (I hope its all settled down now). On that
> note, if you have done with those branches now they are merged can
> you do a bit of housekeeping and remove the unused branches from
> git?

I think I already have...

>> I should be able to check the reformat one tonight, would have done
>> so yesterday but my Internet was playing up and (possibly
>> unrelated)
>> this email account wasn't receiving messages - so I didn't see it
>> until this morning.

> Thats fine, that one I am a bit suspect of, hence the not merging
> yet.

Seems to be working fine, although I'm not entirely sure what triggers
a reformat event (other than me manually resizing the window, which
might not go the same route), so maybe something is broken and I just
don't know it yet!

> So no rush, hope your net connection improves.

That's working ok today, and this email account seems to be working
again too, it just didn't receive a bunch of messages. Only mailing
lists on it anyway so nothing important.

Regards
Chris