This patch prevents creation of a new terminal when handling websocket handshaking request. The default behavior of `terminado.NamedTermManager` is to automatically start a new terminal in response to a websocket handshake, which prevents a terminal from being properly shut down in JupyterLab as reported in this [issue](jupyterlab/jupyterlab#5061).
* Restore detection of missing terminado package
* Properly handle terminals_enabled config
* Disambiguate terminado availability from web settings
* Further clarity on terminal availability
* Rename terminals_in_use back to terminals_available
This adds functionality to track a terminal's last activity and
optionally cull terminals that have been inactive for some specified
duration.
Resolves: #3868
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.
* Add support for terminals on Windows
* Bump terminado requirement
* Fix handling of default shell
* Fix appveyor syntax
* Fix requires syntax
* Fix version target
* Clean up handling of default shell and update version check
* Always require terminado
* Clean up appveyor test
* Make the terminado warning uniform
* Default to powershell on Windows
* Clean up terminado verison
This came up on reddit: if you want to open a notebook or a file in the
text editor from the terminal inside the notebook web interface, you can
construct a URL to open. But to do that accurately, you need to know the
root directory where the server is looking, and the first part of the
URL. This exposes both of those as environment variables:
$JUPYTER_SERVER_ROOT and $JUPYTER_SERVER_URL.
David Lukes
Mingxuan Lin
Kevin Bates
Dmitry Mikushin
Maxim Vov
Dave Hirschfeld
Steven Silvester
Thomas Kluyver
Min RK
robnagler
Zach Schwartz
Thomas Kluyver