Commit f4d19593 authored by Ludovic Courtès's avatar Ludovic Courtès
Browse files

kernels: Add 'properties'.

* jupyter/kernels.scm (<kernel>)[properties]: New field.
(kernel): Add #:properties.
parent 45d4e2f7
......@@ -61,8 +61,10 @@
kernel-iopub ;alias
kernel-sockets
kernel-socket-kind
kernel-properties
set-kernel-name
set-kernel-pid
set-kernel-properties
connection?
connection-transport
......@@ -102,7 +104,8 @@
;; Type of a Jupyter kernel.
(define-immutable-record-type <kernel>
(%kernel name pid key control shell stdin heartbeat iosub)
(%kernel name pid key control shell stdin heartbeat iosub
properties)
kernel?
(name kernel-name set-kernel-name) ;string
(pid kernel-pid set-kernel-pid) ;integer
......@@ -111,7 +114,9 @@
(shell kernel-shell) ;zmq socket
(stdin kernel-standard-input) ;zmq socket
(heartbeat kernel-heartbeat) ;zmq socket
(iosub kernel-iosub)) ;zmq socket
(iosub kernel-iosub) ;zmq socket
(properties kernel-properties ;alist
set-kernel-properties))
(define-syntax kernel-iopub (identifier-syntax kernel-iosub))
......@@ -127,9 +132,10 @@
(language kernel-specs-language))
(define* (kernel name pid #:key key control shell
standard-input heartbeat iosub)
standard-input heartbeat iosub (properties '()))
(%kernel name pid key
control shell standard-input heartbeat iosub))
control shell standard-input heartbeat iosub
properties))
(define (kernel-sockets kernel)
"Return all the ZeroMQ sockets associated with KERNEL."
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment