projects / mudpy.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 928309d) | 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)
commit5552af74173cb51760b0a52de8b93269f42f0455
treed05d1d680f4baa1143434896995e924a3f04e49ftree | snapshot
parent928309d2e331a5fc8336877ecc37fb64450d621ccommit | 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.