filesize

filesize -- get file size

Description

int filesize(string filename);

Returns the size of the file, or false in case of an error.

The results of this function are cached. See clearstatecache() for more details.