4 Commits (7d211d431e5bea69347c19f64e5295df93dd5657)

Author	SHA1	Message	Date
yuvipanda	8aa22d62f8	Log HTTP request codes & timings to Prometheus ... Code adapted from JupyterHub	8 years ago
Michael Marchetti	536a6d64dc	Use `dict()` to convert the mapping to a dictionary	10 years ago
Michael Marchetti	5639ac7134	Fix secondary error that occurs during handling of HTTP 500 status ... In log.py, we're attempting to log the request headers when a 500-series error occurs, but tornado.httputil.HTTPHeaders isn't a dict - it inherits from collections.MutableMapping. So it fails during JSON serialization. The fix is to convert it to a dict first. Unfortunately, the HTTPHeaders class doesn't expose any methods to access the underlying dictionary (`request.headers._dict`) directly, so we recreate it using the public API.	10 years ago
Min RK	d71a59cc9f	s/jupyter_notebook/notebook	11 years ago