2647
2658
ret = os_file_set_size(path, file, size * UNIV_PAGE_SIZE, 0);
2675
2673
/* We have to write the space id to the file immediately and flush the
2676
2674
file to disk. This is because in crash recovery we must be aware what
2677
2675
tablespaces exist and what are their space id's, so that we can apply