monkeyking

Author	SHA1	Message	Date
Maxim Vov	03e5dc00e1	Moved the 'metrics' file to a new package named 'promethues'. Then split the file into two files, one containing the metrics themselves, the other containing any function that have something to do with prometheus. Finally, Added new metrics into the prometheus.metrics file that represent the number of running terminals and added the functionality for that metric to be recorded in the terminal.api_handlers file.	8 years ago
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