Auto Refresh Page on change?

Support Plugins
1

Hello there!
I am right now looking for a plugin, which automatically refreshes the page when something changes, as I am using an external program to modify my files. Any ideas?

2

You don’t need a plugin for that, just use straight JS:

    function get_page(url)
    {
        xmlhttp=new XMLHttpRequest();
        xmlhttp.open("GET", url, false);
        xmlhttp.send();
        return xmlhttp.responseText;
    }

    var html = get_page(window.location.href);

    setInterval(function(){
        if(html != get_page(window.location.href)){
            location.reload();
        }
    }, 5000);

The code above will check for changes every 5 seconds and reload if it detects any.