Put server_file_name in the $_SESSION[..] variable