Make RequestMetrics take a raw time rather than a clock

... which is going to make it easier to move around.
This commit is contained in:
Richard van der Hoff 2018-05-09 23:03:11 +01:00
parent 8460e48d06
commit 09b29f9c4a
2 changed files with 6 additions and 6 deletions

View file

@ -87,7 +87,7 @@ def wrap_request_handler(request_handler, include_metrics=False):
# JsonResource (or a subclass), and JsonResource._async_render
# will update it once it picks a servlet.
servlet_name = self.__class__.__name__
request_metrics.start(self.clock, name=servlet_name)
request_metrics.start(self.clock.time_msec(), name=servlet_name)
with request.processing():
try:
@ -138,7 +138,7 @@ def wrap_request_handler(request_handler, include_metrics=False):
finally:
try:
request_metrics.stop(
self.clock, request
self.clock.time_msec(), request
)
except Exception as e:
logger.warn("Failed to stop metrics: %r", e)