equal
deleted
inserted
replaced
439 def d(): |
439 def d(): |
440 s.fncache._dirty = True |
440 s.fncache._dirty = True |
441 s.fncache.write(tr) |
441 s.fncache.write(tr) |
442 timer(d) |
442 timer(d) |
443 lock.release() |
443 lock.release() |
|
444 tr.close() |
444 fm.end() |
445 fm.end() |
445 |
446 |
446 @command('perffncacheencode', formatteropts) |
447 @command('perffncacheencode', formatteropts) |
447 def perffncacheencode(ui, repo, **opts): |
448 def perffncacheencode(ui, repo, **opts): |
448 timer, fm = gettimer(ui, opts) |
449 timer, fm = gettimer(ui, opts) |