Nathaniel Nicandro
8f35f135d7
jupyter-gc-servers: Delete cookies when cleaning up servers
...
See #161
* jupyter-rest-api.el (jupyter-api--delete-cookie):
(jupyter-api-delete-cookies): New functions.
* jupyter-server.el (jupyter-gc-servers): Do it.
* test/jupyter-server-test.el (jupyter-api-delete-cookies): New test.
2019-07-31 14:19:15 -05:00
Nathaniel Nicandro
6f97c958da
Add jupyter-server-kernel-names variable and associated functions
...
Used to associate names to kernel IDs.
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
ea22bd512d
Re-authenticate after "Access Forbidden"
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
c711562207
jupyter-gc-servers: Only stop server comm if it is alive
...
Bug found by @dcherian, see
https://github.com/dzop/emacs-jupyter/issues/131#issuecomment-510920312
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
388f593955
jupyter-kernel-alive-p (jupyter-server-kernel): Handle non-existent server
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
6d7b07333f
Add jupyter-api-server-exists-p
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
36b9edc31e
jupyter-server-find-manager: Don't check if the kernel is alive
...
Delay any errors, e.g. if the server is no longer alive, to where they would be
more useful.
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
5efa64ff19
jupyter-server-list-kernels: Better documentation
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
239715919f
Move server slot of jupyter-server-kernel-manager to the kernel object
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
f4c03e71d1
Add jupyter-format-time-low-res
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
7d3de9e6b2
Implement jupyter-comm-(start|stop) methods for a jupyter-server-kernel-manager
...
These are wrappers around calls to the same method for the `comm` slot of a
`jupyter-server-kernel-manager`.
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
bed724f2fe
jupyter-server: Symmetrize (dis)connect channel events
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
46e4e6c40e
jupyter-start-kernel (jupyter-server-kernel-manager): Also start the comm
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
900016d398
Include session ID when connecting websockets
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
df7071eac9
Add jupyter-gc-servers
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
1658cd0454
jupyter-kill-kernel (jupyter-server-kernel): Do nothing
...
There is no need to forcibly kill a kernel since the notebook handles this
already.
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
de320f83d2
jupyter-current-server: Also consider a remote default-directory
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
4a87d35f76
Jupyter notebook contents API integration with TRAMP
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
e8edd4d5cc
Promote time encoding/decoding functions to public
...
Also use `parse-iso8601-time-string` when decoding
2019-07-24 16:59:04 -05:00
Nathaniel Nicandro
67831c08fa
Support Jupyter kernel servers
...
* jupyter-client.el (jupyter-initialize-connection): Elevate NOTE to FIXME.
(jupyter-kernel-info): Extend timeout.
* jupyter-kernel-manager.el (jupyter-shutdown-kernel):
(jupyter-interrupt-kernel): Allow any number of arguments.
* jupyter-kernelspec.el (jupyter-find-kernelspecs): Optionally allow specs.
* jupyter-messages.el (jupyter-encode-raw-message): New function.
* jupyter-rest-api.el (jupyter-api-auth-headers): New function.
* jupyter-server-ioloop.el: New file.
* jupyter-server.el: New file.
* test/jupyter-test.el (jupyter-server):
(jupyter-server-kernel-manager):
(jupyter-server-start-new-kernel): New tests.
2019-07-24 16:59:04 -05:00
