FileTools[ModificationTime] - obtain the modification time of a file
|
Calling Sequence
|
|
ModificationTime(file)
|
|
Parameters
|
|
file
|
-
|
filename or the file descriptor of an open file
|
|
|
|
|
Description
|
|
•
|
The ModificationTime(file) command obtains the modification time of a file in seconds since the epoch.
|
•
|
If the file does not exist or an invalid file descriptor is passed, an exception is raised.
|
|
|
See Also
|
|
file_types, FileTools, FileTools[Exists], FileTools[IsDirectory], FileTools[IsExecutable], FileTools[IsReadable], FileTools[IsWritable], FileTools[Remove], FileTools[Size], FileTools[Status], FileTools[Text][Close], FileTools[Text][WriteString], IO_errors, StringTools[FormatTime]
|
|
Download Help Document
Was this information helpful?