There are some great web-development tools out there which make life of developers easy. Apps like LiveReload and CodeKit are the great examples.
All I'm interested about them is the way they make web-page live reload in web browser (be it Chrome, Firefox or whatever) from within itself when file changes are written to hard-drive.
How they actually do it? Are there any APIs which web browser vendors expose to perform this? or its just custom server-side script which is injected to webpage (not actually wrote by web-developer) before it reaches browser, and some Ajax magic happens when the file is changed on the drive.
I'm planning to develop something like this in Python or Vala (Linux) and .NET (Windows), so please let me know if there is some documentation available to do this.