Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

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

messages: Add <execute-input>.

* jupyter/messages.scm (<execute-input>): New record type.
parent 591d5814
...@@ -80,6 +80,12 @@ ...@@ -80,6 +80,12 @@
json->kernel-status json->kernel-status
kernel-status->json kernel-status->json
execute-input?
execute-input-code
execute-input-counter
json->execute-input
execute-input->json
execute-request? execute-request?
execute-request execute-request
execute-request-code execute-request-code
...@@ -320,6 +326,14 @@ This is a low-level procedure for internal use." ...@@ -320,6 +326,14 @@ This is a low-level procedure for internal use."
(json "execution_state" string->symbol symbol->string) (json "execution_state" string->symbol symbol->string)
(default 'idle))) (default 'idle)))
(define-json-mapping <execute-input> execute-input
make-execute-input
execute-input?
json->execute-input <=> execute-input->json
(code execute-input-code)
(counter execute-input-counter
(json "execution_count") (default 0)))
(define-json-mapping <execute-request> execute-request (define-json-mapping <execute-request> execute-request
make-execute-request make-execute-request
execute-request? execute-request?
......
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