So the protocol should allow the client to filter the push list *before* it's actually sent. A simple handshake would help:
server: I want to send x.html, ad.html, pic.jpg, ad.swf
client: Just send x.html, pic.jpg
And so the filter works before the push. After all, we want things faster, so filtering things the client won't see anyway before it's pushed seems necessary.
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds