Can I suggest writing the logs to a list somewhere which you could dump to file with $dump_started or whatever? Or just test for a particular length, dump_interval seems like it would be enough.
It feels like one of those things that you might not notice immediately, but would if you got players above a certain level.
HTH,
--
You received this message because you are subscribed to the Google Groups "MOO Talk" group.
To unsubscribe from this group and stop receiving emails from it, send an email to MOO-talk+u...@googlegroups.com.
To post to this group, send email to MOO-...@googlegroups.com.
Visit this group at https://groups.google.com/group/MOO-talk.
For more options, visit https://groups.google.com/d/optout.