upload_servers: use File_Writers instead of a Stream_IO to write state