Be careful about marking facets modified
authorJeremy Stanley <fungi@yuggoth.org>
Sat, 18 Nov 2017 15:47:39 +0000 (15:47 +0000)
committerJeremy Stanley <fungi@yuggoth.org>
Sat, 18 Nov 2017 15:47:39 +0000 (15:47 +0000)
commit12b6cc52a74bc3f6dd5f510fc20c2a3e00818802
treeeda5923296a37f5d4d96f0cb0bb1475863004085
parent7277701a55fea07043fe89a32af10f98b3710b32
Be careful about marking facets modified

Make sure to only set the modified flag on a facet when setting a
value if it has no corresponding node in its origin or the value
differs. This prevents the engine from unnecessarily rewriting the
origin's backing file on startup or reload.
mudpy/misc.py