From 70ca235d84ff4de7de12e6bdb16088fe6634c61e Mon Sep 17 00:00:00 2001 From: Alan Knowles Date: Wed, 21 Jul 2010 07:09:25 +0800 Subject: [PATCH] JSDOC/BuildDocs.js --- JSDOC/BuildDocs.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/JSDOC/BuildDocs.js b/JSDOC/BuildDocs.js index 36a66cb..3e914d0 100644 --- a/JSDOC/BuildDocs.js +++ b/JSDOC/BuildDocs.js @@ -122,14 +122,14 @@ BuildDocs = { if (cacheFile && File.exists(cacheFile)) { // check filetime? - var c_mt = File.getTimes(cacheFile); - var o_mt = File.getTimes(srcFile); + var c_mt = File.mtime(cacheFile); + var o_mt = File.mtime(srcFile); //println(c_mt.toSource()); // println(o_mt.toSource()); // this check does not appear to work according to the doc's - need to check it out. - if (c_mt[0] > o_mt[0]) { // cached time > original time! + if (c_mt > o_mt) { // cached time > original time! // use the cached mtimes.. var syms = JSON.parse(File.read(cacheFile)); -- 2.39.2