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
