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 |
|