obsolete: stop using rev as it rebuild the cache every time there is a fault We now use nodemap directly
Pierre-Yves David