have your cgi script create a text file with a timestamp.
create a php script that checks the timestamp.
add some javascript to the page to be refreshed that uses ajax to query the php script referred to above. if the timestamp changes then use javascript to refresh the page.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.