Use getint for session_timeout.