comparison deploy/linux/control.example @ 847:4ed262a012fc

If the old and new-style user resource prefixes return different results, move across resources from old to new to prime the new path first time we look it up
author Chris Cannam
date Wed, 10 Sep 2014 09:40:45 +0100
parents 5ddf310f61c1
children dac686f8efb8
comparison
equal deleted inserted replaced
846:d6dd57cb3915 847:4ed262a012fc