diff options
Diffstat (limited to 'globals.pl')
-rw-r--r-- | globals.pl | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/globals.pl b/globals.pl index 32dc64a6d..0c1ba852b 100644 --- a/globals.pl +++ b/globals.pl @@ -352,22 +352,10 @@ sub GetKeywordIdFromName { } - - -# Returns the modification time of a file. - -sub ModTime { - my ($filename) = (@_); - my ($dev,$ino,$mode,$nlink,$uid,$gid,$rdev,$size, - $atime,$mtime,$ctime,$blksize,$blocks) - = stat($filename); - return $mtime; -} - $::VersionTableLoaded = 0; sub GetVersionTable { return if $::VersionTableLoaded; - my $mtime = ModTime("$datadir/versioncache"); + my $mtime = file_mod_time("$datadir/versioncache"); if (!defined $mtime || $mtime eq "" || !-r "$datadir/versioncache") { $mtime = 0; } |