Is there any reason that using the header() function as below wouldn't be a reliable way to do this (albeit user-unfriendly)? It "works for me" on my Mac with various browsers, but I wonder how universally it will work.
$timeout = 900; // 15 minutes
header('Refresh: ' . $timeout . ';url=www.whatever.com/logout.php');
-- PHP General Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php