// this might happen if tmpDir is set ..
- if (true && FileUtils.test (minfile, FileTest.EXISTS)) {
+ if (false && FileUtils.test (minfile, FileTest.EXISTS)) {
var otv = File.new_for_path(file).query_info (FileAttribute.TIME_MODIFIED, 0).get_modification_time();
var mtv = File.new_for_path(minfile).query_info (FileAttribute.TIME_MODIFIED, 0).get_modification_time();
//var ts = new TokenStream(toks);
//print(JSON.stringify(toks, null,4 )); Seed.quit();
var ts = new Collapse(toks.tokens);
+
+ //ts.dumpAll(""); print("Done collaps"); Process.exit(1);
+
// print(JSON.stringify(ts.tokens, null,4 )); Seed.quit();
//return;//
var sp = new ScopeParser(ts);
var outf = CompressWhite(new TokenStream(toks.tokens), this, this.keepWhite); // do not kill whitespace..
-
+
if (outf.length > 0) {