/* basic logic to refresh (reload) the page
include in with:
*/
// options
qsHelp("refresh=n","for automatic refresh in n minute(s)");
// defaults
var rMins = 0;
if (qsParm['refresh']) rMins=qsParm['refresh'];
if ( rMins > 0 ) {
var now=new Date()
var s='';
if ( rMins > 1 ) s='s';
document.write(
"(automatic refresh about every ",rMins," minute",s,")
"
,"last: ",now,"
"
,"
\n");
// The time out value is set in milli-seconds
setTimeout('document.location=document.location',rMins*60000+5000);
}