//println(cacheFile);
- if (!JSDOC.opt.C && File.exists(cacheFile)) {
+ if (!Options.disablecache && File.exists(cacheFile)) {
// check filetime?
var c_mt = File.getTimes(cacheFile);
if (c_mt[0] > o_mt[0]) { // cached time > original time!
// use the cached mtimes..
- var syms = {};
+ var syms = JSON.parse(File.read(cacheFile));
- eval("syms = " + File.read(cacheFile));
+ throw "Conversion of cache not done yet!";
for (var sy in syms) {
//println("ADD:" + sy );
- JSDOC.Parser.symbols.addSymbol(syms[sy]);
+ Parser.symbols.addSymbol(syms[sy]);
}
continue;
}
}
+ var src = ''
try {
- var src = IO.readFile(srcFile);
+ src = File.read(srcFile);
}
catch(e) {
LOG.warn("Can't read source file '"+srcFile+"': "+e.message);
+ continue;
}
// Check to see if there is a handler for this file type