+ play: record http server metrics, closes #56