I was looking at the code of the Dataset class, but I could not find where the files_server is retrieved.