A page should have a tree of files on which it depends, and on load, a page should download a list of files in that tree from the server. When the server broadcasts a refresh message, the browser should only refresh if the file in the refresh message is in the current page's dependency list.
The dependency tree should be built fairly generically so that it can also be used for tests.
A page should have a tree of files on which it depends, and on load, a page should download a list of files in that tree from the server. When the server broadcasts a refresh message, the browser should only refresh if the file in the refresh message is in the current page's dependency list.
The dependency tree should be built fairly generically so that it can also be used for tests.