jupyter / jupyter_client

Jupyter protocol client APIs
https://jupyter-client.readthedocs.io
BSD 3-Clause "New" or "Revised" License
390 stars 284 forks source link

deprecate extracting dates in message headers #1015

Open minrk opened 8 months ago

minrk commented 8 months ago

adds Session.extract_header_dates config and JUPYTER_SESSION_EXTRACT_HEADER_DATES env.

Proposal for #1014 because I'm not sure the best way to handle the deprecation.

Even if we don't deprecate the current behavior, the instance config here would allow ipyparallel to remove its monkeypatch.

default unchanged, but deprecated

closes #1014 closes #590