projects / mudpy.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22a72be) | patch
Make new-style facet deletion more robust
authorJeremy Stanley <fungi@yuggoth.org>
Thu, 9 Nov 2017 09:54:38 +0000 (09:54 +0000)
committerJeremy Stanley <fungi@yuggoth.org>
Thu, 9 Nov 2017 09:54:38 +0000 (09:54 +0000)
commit6161f58fe66ce3cbfa236625555ce54280a0dad8
treed05d1d680f4baa1143434896995e924a3f04e49ftree | snapshot
parent22a72bec37c3a569f319dbd3bd72676f380d480bcommit | diff
Make new-style facet deletion more robust

When destroying a new-style Element, reuse the delete_facet method
instead of deleting keys from the origin. Within the delete_facet
method, make sure to delete the corresponding key from the facethash
too.
mudpy/misc.py diff | blob | history
The mudpy MUD server engine.