//print(cacheFile);
// disabled at present!@!!
- if (false && cacheFile && File.exists(cacheFile)) {
+ if (cacheFile && File.exists(cacheFile)) {
// check filetime?
var c_mt = File.mtime(cacheFile);
if (c_mt > o_mt) { // cached time > original time!
// use the cached mtimes..
- var syms = JSON.parse(File.read(cacheFile));
+ var syms = JSON.parse(File.read(cacheFile), function(k, v) {
+ if (typeof(v) != 'object') {
+ return v;
+ }
+ if (typeof(v._object) == 'undefined') {
+ return v;
+ }
+ var cls = imports[v._object];
+ delete v._object;
+ var ret = new cls();
+ XObject.extend(ret, v);
+ return ret;
+
+ });
throw "Conversion of cache not done yet!";