Created
May 10, 2017 17:44
-
-
Save maartenbreddels/40fa030fdb922e6d2074282ceed6b753 to your computer and use it in GitHub Desktop.
Thanks for your answer. And yes, as far as I understand it uses the rest API which renders the availbale --NotebookApp.websocket_compression_options
option useless for this case.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Thanks, no, not that I know off, but I think that does not go through the websocket, but a REST API I think.