auto-refresh in html runner