Diff

util/pubsub.lua @ 7521:1c8b63fe6472

statsmanager: Add 'stats_provider' option, to allow selecting alternative API providers to util.statistics
author Matthew Wild <mwild1@gmail.com>
date Wed, 27 Jul 2016 14:04:36 +0100
parent 6777:5de6b93d0190
child 6791:e813e8cf6046
child 7695:56ce32cfd6d9
line wrap: on
line diff