Есть отличные инструменты для веб-разработки, которые облегчают жизнь разработчиков. Приложения, такие как LiveReload и CodeKit - отличные примеры.
Все, что меня интересует, это то, как они делают онлайн-перезагрузку веб-страницы в веб-браузере (будь то Chrome, Firefox или что-то еще) изнутри, когда изменения файла записываются на жесткий диск.
Как они на самом деле это делают? Существуют ли какие-либо API, которые поставщики веб-браузеров выставляют для выполнения этого? или его просто настраиваемая серверная сторона script, которая вводится на веб-страницу (на самом деле не написана веб-разработчиком) до того, как она дойдет до браузера, а некоторые магии Ajax произойдут, когда файл будет изменен на диске.
Я планирую разработать что-то подобное в Python или Vala (Linux) и .NET(Windows), поэтому, пожалуйста, дайте мне знать, если есть какая-то документация, доступная для этого.