+
+ if (touch_timer !== undefined) {
+ clearTimeout(touch_timer);
+ }
+ touch_timer = setTimeout(function() {
+ console.log("Touching analysis.json due to no other activity");
+ var now = Date.now() / 1000;
+ fs.utimes(json_filename, now, now);
+ }, 30000);