(Formerly known as FileReadInt, which is now obsolete)
File.ReadInt()
Reads an integer from the file, and returns it to the script.
Only integers written with File.WriteInt can be read back.
Example:
int number;
File *input = File.Open("stats.dat", eFileRead);
number = input.ReadInt();
input.Close();
will open the file stats.dat, read an integer into number and then close the file.
See Also: File.ReadStringBack, File.WriteInt
|