Rename internal:time to .mudpy.timing
authorJeremy Stanley <fungi@yuggoth.org>
Sat, 29 Jul 2017 16:18:16 +0000 (16:18 +0000)
committerJeremy Stanley <fungi@yuggoth.org>
Sat, 29 Jul 2017 16:18:16 +0000 (16:18 +0000)
Convert the old style internal:time element to a new style
.mudpy.timing element and adjust the User.check_idle() method and
on_pulse() function accordingly.


No differences found