Session timeout

From http://stackoverflow.com/questions/520237/how-do-i-expire-a-php-session-after-30-minutes