[PATCH] cmdserver: repo.invalidate() on every runcommand

[Matt Mackall]

On Mon, 2011-07-25 at 22:24 +0300, Idan Kamara wrote:
> # HG changeset patch
> # User Idan Kamara <idankk86 at gmail.com>
> # Date 1311621568 -10800
> # Node ID 462b7ca06314f0262b8e2c8a5dc89faf699ef9e2
> # Parent  0b3e57c1b8c09955d15ae8b23086f03cbead8a16
> cmdserver: repo.invalidate() on every runcommand
> 
> This will trigger the filecache and recreate every cached property that was
> changed by something other than this cmdserver instance (e.g. by running
> 'hg commit' at the cmdline).

Queued, thanks.

-- 
Mathematics is the supreme nostalgia of our time.