2012-05-07 14:41:15 +02:00
|
|
|
|
;;; ein-kernel.el --- Communicate with IPython notebook server
|
|
|
|
|
|
|
|
|
|
;; Copyright (C) 2012- Takafumi Arakaki
|
|
|
|
|
|
|
|
|
|
;; Author: Takafumi Arakaki
|
|
|
|
|
|
|
|
|
|
;; This file is NOT part of GNU Emacs.
|
|
|
|
|
|
|
|
|
|
;; ein-kernel.el is free software: you can redistribute it and/or modify
|
|
|
|
|
;; it under the terms of the GNU General Public License as published by
|
|
|
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
|
|
|
;; (at your option) any later version.
|
|
|
|
|
|
|
|
|
|
;; ein-kernel.el is distributed in the hope that it will be useful,
|
|
|
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;; GNU General Public License for more details.
|
|
|
|
|
|
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;; along with ein-kernel.el. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
|
|
|
|
|
;;
|
|
|
|
|
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
|
|
|
|
(eval-when-compile (require 'cl))
|
|
|
|
|
|
|
|
|
|
(require 'ein-log)
|
|
|
|
|
(require 'ein-utils)
|
|
|
|
|
(require 'ein-websocket)
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(require 'ein-events)
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(require 'url)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(defstruct ein:$kernel
|
2012-05-13 02:51:47 +02:00
|
|
|
|
"Hold kernel variables.
|
|
|
|
|
|
|
|
|
|
`ein:$kernel-url-or-port'
|
|
|
|
|
URL or port of IPython server.
|
|
|
|
|
|
|
|
|
|
FIXME: document other slots."
|
|
|
|
|
url-or-port
|
2012-05-22 13:34:38 +02:00
|
|
|
|
events
|
2012-05-07 14:41:15 +02:00
|
|
|
|
kernel-id
|
|
|
|
|
shell-channel
|
|
|
|
|
iopub-channel
|
|
|
|
|
base-url
|
|
|
|
|
kernel-url
|
|
|
|
|
ws-url
|
|
|
|
|
running
|
|
|
|
|
username
|
2012-05-22 13:34:38 +02:00
|
|
|
|
session-id
|
|
|
|
|
msg-callbacks)
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
|
|
|
|
(defvar ein:base-kernel-url "/")
|
|
|
|
|
;; Currently there is no way to know this setting. Maybe I should ask
|
|
|
|
|
;; IPython developers for an API to get this from notebook server.
|
|
|
|
|
|
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
|
|
|
|
|
;;; Initialization and connection.
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel-new (url-or-port base-url events)
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(make-ein:$kernel
|
2012-05-13 15:59:40 +02:00
|
|
|
|
:url-or-port url-or-port
|
2012-05-22 13:34:38 +02:00
|
|
|
|
:events events
|
2012-05-07 14:41:15 +02:00
|
|
|
|
:kernel-id nil
|
|
|
|
|
:shell-channel nil
|
|
|
|
|
:iopub-channel nil
|
2012-05-22 13:34:38 +02:00
|
|
|
|
:base-url base-url
|
2012-05-07 14:41:15 +02:00
|
|
|
|
:running nil
|
|
|
|
|
:username "username"
|
2012-05-22 13:34:38 +02:00
|
|
|
|
:session-id (ein:utils-uuid)
|
|
|
|
|
:msg-callbacks (make-hash-table :test 'equal)))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
|
|
|
|
|
2012-05-19 17:58:02 +02:00
|
|
|
|
(defun ein:kernel-del (kernel)
|
|
|
|
|
"Destructor for `ein:$kernel'."
|
|
|
|
|
(ein:kernel-stop-channels kernel))
|
|
|
|
|
|
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(defun ein:kernel--get-msg (kernel msg-type content)
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(list
|
|
|
|
|
:header (list
|
|
|
|
|
:msg_id (ein:utils-uuid)
|
|
|
|
|
:username (ein:$kernel-username kernel)
|
|
|
|
|
:session (ein:$kernel-session-id kernel)
|
|
|
|
|
:msg_type msg-type)
|
|
|
|
|
:content content
|
|
|
|
|
:parent_header (make-hash-table)))
|
|
|
|
|
|
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(defun ein:kernel-start (kernel notebook-id)
|
|
|
|
|
"Start kernel of the notebook whose id is NOTEBOOK-ID."
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(unless (ein:$kernel-running kernel)
|
|
|
|
|
(let* ((qs (format "notebook=%s" notebook-id))
|
2012-05-13 15:59:40 +02:00
|
|
|
|
(url (concat (ein:url (ein:$kernel-url-or-port kernel)
|
|
|
|
|
(ein:$kernel-base-url kernel))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
"?" qs))
|
|
|
|
|
(url-request-method "POST"))
|
|
|
|
|
(url-retrieve
|
|
|
|
|
url
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(lambda (status kernel)
|
|
|
|
|
(ein:kernel--kernel-started kernel (ein:json-read))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(kill-buffer (current-buffer)))
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(list kernel)))))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(defun ein:kernel-restart (kernel)
|
|
|
|
|
(ein:events-trigger (ein:$kernel-events kernel) 'status_restarting.Kernel)
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(ein:log 'info "Restarting kernel")
|
|
|
|
|
(when (ein:$kernel-running kernel)
|
|
|
|
|
(ein:kernel-stop-channels kernel)
|
2012-05-15 13:18:56 +02:00
|
|
|
|
(let ((url (ein:url (ein:$kernel-url-or-port kernel)
|
|
|
|
|
(ein:$kernel-kernel-url kernel)
|
2012-05-17 05:39:49 +02:00
|
|
|
|
"restart"))
|
|
|
|
|
(url-request-method "POST"))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(url-retrieve
|
|
|
|
|
url
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(lambda (status kernel)
|
|
|
|
|
(ein:kernel--kernel-started kernel (ein:json-read))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(kill-buffer (current-buffer)))
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(list kernel)))))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(defun ein:kernel--kernel-started (kernel json)
|
|
|
|
|
(ein:log 'info "Kernel started: %s" (plist-get json :kernel_id))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(setf (ein:$kernel-running kernel) t)
|
|
|
|
|
(setf (ein:$kernel-kernel-id kernel) (plist-get json :kernel_id))
|
|
|
|
|
(setf (ein:$kernel-ws-url kernel) (plist-get json :ws_url))
|
|
|
|
|
(setf (ein:$kernel-kernel-url kernel)
|
|
|
|
|
(concat (ein:$kernel-base-url kernel) "/"
|
|
|
|
|
(ein:$kernel-kernel-id kernel)))
|
|
|
|
|
(ein:kernel-start-channels kernel)
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(let ((shell-channel (ein:$kernel-shell-channel kernel))
|
|
|
|
|
(iopub-channel (ein:$kernel-iopub-channel kernel)))
|
|
|
|
|
;; FIXME: get rid of lexical-let
|
|
|
|
|
(lexical-let ((kernel kernel))
|
|
|
|
|
(setf (ein:$websocket-onmessage shell-channel)
|
|
|
|
|
(lambda (packet)
|
|
|
|
|
(ein:kernel--handle-shell-reply kernel packet)))
|
|
|
|
|
(setf (ein:$websocket-onmessage iopub-channel)
|
|
|
|
|
(lambda (packet)
|
|
|
|
|
(ein:kernel--handle-iopub-reply kernel packet))))))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel--websocket-closed (kernel ws-url early)
|
|
|
|
|
;; FIXME: `message' is not good choice for showing multiple line
|
|
|
|
|
;; message. I should implement ein-pager.el first and show the
|
|
|
|
|
;; message using its function.
|
|
|
|
|
(if early
|
|
|
|
|
(ein:log 'warn
|
2012-05-09 09:07:47 +02:00
|
|
|
|
"Websocket connection to %s could not be established. \
|
|
|
|
|
You will NOT be able to run code. \
|
|
|
|
|
Your websocket.el may not be compatible with the websocket version in \
|
|
|
|
|
the server, or if the url does not look right, there could be an \
|
|
|
|
|
error in the server's configuration." ws-url)
|
|
|
|
|
(ein:log 'warn "Websocket connection closed unexpectedly. \
|
|
|
|
|
The kernel will no longer be responsive.")))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel-send-cookie (channel)
|
|
|
|
|
;; This is required to open channel. In IPython's kernel.js, it sends
|
|
|
|
|
;; `document.cookie'. This is an empty string anyway.
|
|
|
|
|
(ein:websocket-send channel ""))
|
|
|
|
|
|
|
|
|
|
|
2012-05-09 08:41:44 +02:00
|
|
|
|
(defun ein:kernel--ws-closed-callback (websocket kernel arg)
|
|
|
|
|
;; NOTE: The argument ARG should not be "unpacked" using `&rest'.
|
|
|
|
|
;; It must be given as a list to hold state `already-called-onclose'
|
|
|
|
|
;; so it can be modified in this function.
|
|
|
|
|
(destructuring-bind (&key already-called-onclose ws-url early)
|
|
|
|
|
arg
|
|
|
|
|
(unless already-called-onclose
|
|
|
|
|
(plist-put arg :already-called-onclose t)
|
2012-05-09 08:54:02 +02:00
|
|
|
|
(unless (ein:$websocket-closed-by-client websocket)
|
|
|
|
|
;; Use "event-was-clean" when it is implemented in websocket.el.
|
2012-05-09 08:41:44 +02:00
|
|
|
|
(ein:kernel--websocket-closed kernel ws-url early)))))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel-start-channels (kernel)
|
|
|
|
|
(ein:kernel-stop-channels kernel)
|
2012-05-09 08:41:44 +02:00
|
|
|
|
(let* ((ws-url (concat (ein:$kernel-ws-url kernel)
|
|
|
|
|
(ein:$kernel-kernel-url kernel)))
|
|
|
|
|
(onclose-arg (list :ws-url ws-url
|
|
|
|
|
:already-called-onclose nil
|
2012-05-09 09:06:30 +02:00
|
|
|
|
:early t)))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(ein:log 'info "Starting WS: %S" ws-url)
|
|
|
|
|
(setf (ein:$kernel-shell-channel kernel)
|
|
|
|
|
(ein:websocket (concat ws-url "/shell")))
|
|
|
|
|
(setf (ein:$kernel-iopub-channel kernel)
|
|
|
|
|
(ein:websocket (concat ws-url "/iopub")))
|
2012-05-09 08:41:44 +02:00
|
|
|
|
|
|
|
|
|
(loop for c in (list (ein:$kernel-shell-channel kernel)
|
|
|
|
|
(ein:$kernel-iopub-channel kernel))
|
|
|
|
|
do (setf (ein:$websocket-onclose-args c) (list kernel onclose-arg))
|
|
|
|
|
do (setf (ein:$websocket-onopen c)
|
|
|
|
|
(lexical-let ((channel c))
|
|
|
|
|
(lambda () (ein:kernel-send-cookie channel))))
|
|
|
|
|
do (setf (ein:$websocket-onclose c)
|
|
|
|
|
#'ein:kernel--ws-closed-callback))
|
|
|
|
|
|
|
|
|
|
;; switch from early-close to late-close message after 1s
|
|
|
|
|
(run-at-time
|
|
|
|
|
1 nil
|
|
|
|
|
(lambda (onclose-arg)
|
2012-05-09 09:06:30 +02:00
|
|
|
|
(plist-put onclose-arg :early nil)
|
|
|
|
|
(ein:log 'debug "(via run-at-time) onclose-arg changed to: %S"
|
|
|
|
|
onclose-arg))
|
|
|
|
|
onclose-arg)))
|
|
|
|
|
|
|
|
|
|
;; NOTE: `onclose-arg' can be accessed as:
|
|
|
|
|
;; (nth 1 (ein:$websocket-onclose-args (ein:$kernel-shell-channel (ein:$notebook-kernel ein:notebook))))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel-stop-channels (kernel)
|
|
|
|
|
(when (ein:$kernel-shell-channel kernel)
|
|
|
|
|
(setf (ein:$websocket-onclose (ein:$kernel-shell-channel kernel)) nil)
|
|
|
|
|
(ein:websocket-close (ein:$kernel-shell-channel kernel))
|
|
|
|
|
(setf (ein:$kernel-shell-channel kernel) nil))
|
|
|
|
|
(when (ein:$kernel-iopub-channel kernel)
|
|
|
|
|
(setf (ein:$websocket-onclose (ein:$kernel-iopub-channel kernel)) nil)
|
|
|
|
|
(ein:websocket-close (ein:$kernel-iopub-channel kernel))
|
|
|
|
|
(setf (ein:$kernel-iopub-channel kernel) nil)))
|
|
|
|
|
|
|
|
|
|
|
2012-05-13 16:54:22 +02:00
|
|
|
|
(defun ein:kernel-ready-p (kernel)
|
|
|
|
|
(and (ein:websocket-open-p (ein:$kernel-shell-channel kernel))
|
|
|
|
|
(ein:websocket-open-p (ein:$kernel-iopub-channel kernel))))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(defmacro ein:kernel-if-ready (kernel &rest body)
|
2012-05-13 16:51:20 +02:00
|
|
|
|
"Execute BODY if KERNEL is ready. Warn user otherwise."
|
2012-05-13 16:54:22 +02:00
|
|
|
|
(declare (indent 1))
|
|
|
|
|
`(if (ein:kernel-ready-p ,kernel)
|
|
|
|
|
(progn ,@body)
|
|
|
|
|
(ein:log 'warn "Kernel is not ready yet!")))
|
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
|
|
|
|
|
;;; Main public methods
|
|
|
|
|
|
|
|
|
|
;; NOTE: The argument CALLBACKS for the following functions is almost
|
|
|
|
|
;; same as the JS implementation in IPython. However, as Emacs
|
|
|
|
|
;; lisp does not support closure, value is "packed" using
|
|
|
|
|
;; `cons': `car' is the actual callback function and `cdr' is
|
|
|
|
|
;; its first argument. It's like using `cons' instead of
|
|
|
|
|
;; `$.proxy'.
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel-object-info-request (kernel objname callbacks)
|
|
|
|
|
"Send object info request of OBJNAME to KERNEL.
|
|
|
|
|
|
|
|
|
|
When calling this method pass a CALLBACKS structure of the form:
|
|
|
|
|
|
|
|
|
|
(:object_info_reply (FUNCTION . ARGUMENT))
|
|
|
|
|
|
|
|
|
|
The FUNCTION will be passed the ARGUMENT as the first argument
|
|
|
|
|
and the `content' object of the `object_into_reply' message as
|
|
|
|
|
the second argument.
|
2012-05-13 16:54:22 +02:00
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
`object_into_reply' message is documented here:
|
|
|
|
|
http://ipython.org/ipython-doc/dev/development/messaging.html#object-information
|
|
|
|
|
"
|
2012-05-13 16:51:04 +02:00
|
|
|
|
(assert (ein:kernel-ready-p kernel))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(when objname
|
2012-05-16 04:53:38 +02:00
|
|
|
|
(let* ((content (list :oname (format "%s" objname)))
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(msg (ein:kernel--get-msg kernel "object_info_request" content))
|
|
|
|
|
(msg-id (plist-get (plist-get msg :header) :msg_id)))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(ein:websocket-send
|
|
|
|
|
(ein:$kernel-shell-channel kernel)
|
|
|
|
|
(json-encode msg))
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(ein:kernel-set-callbacks-for-msg kernel msg-id callbacks)
|
|
|
|
|
msg-id)))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(defun* ein:kernel-execute (kernel code callbacks
|
|
|
|
|
&key
|
|
|
|
|
(silent t)
|
|
|
|
|
(user-variables [])
|
|
|
|
|
(user-expressions (make-hash-table))
|
|
|
|
|
(allow-stdin json-false))
|
|
|
|
|
"Execute CODE on KERNEL.
|
|
|
|
|
|
|
|
|
|
When calling this method pass a CALLBACKS structure of the form:
|
|
|
|
|
|
|
|
|
|
(:execute_reply EXECUTE-REPLY-CALLBACK
|
|
|
|
|
:output OUTPUT-CALLBACK
|
|
|
|
|
:clear_output CLEAR-OUTPUT-CALLBACK
|
|
|
|
|
:cell CELL)
|
|
|
|
|
|
|
|
|
|
Objects end with -CALLBACK above must pack a FUNCTION and its
|
|
|
|
|
first ARGUMENT in a `cons':
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(FUNCTION . ARGUMENT)
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
Call signature of the callbacks:
|
|
|
|
|
|
|
|
|
|
Callback `msg_type' Extra arguments Notes
|
|
|
|
|
---------------------- ---------------- --------------------- ----------
|
|
|
|
|
EXECUTE-REPLY-CALLBACK `execute_reply' `content'
|
|
|
|
|
OUTPUT-CALLBACK [#output]_ `msg_type' `content'
|
|
|
|
|
CLEAR-OUTPUT-CALLBACK `clear_output' `content' [#clear]_
|
|
|
|
|
|
|
|
|
|
For example, the EXECUTE-REPLY-CALLBACK is called as:
|
|
|
|
|
(`funcall' FUNCTION ARGUMENT CONTENT)
|
|
|
|
|
|
|
|
|
|
.. [#output] one of `stream', `display_data', `pyout', `pyerr'
|
|
|
|
|
.. [#clear]_ content object has `stdout', `stderr' and `other'
|
|
|
|
|
fields that are booleans.
|
|
|
|
|
|
|
|
|
|
`execute_reply' message is documented here:
|
|
|
|
|
http://ipython.org/ipython-doc/dev/development/messaging.html#execute
|
|
|
|
|
Output type messages is documented here:
|
|
|
|
|
http://ipython.org/ipython-doc/dev/development/messaging.html#messages-on-the-pub-sub-socket
|
|
|
|
|
|
|
|
|
|
The CELL value may be use for the `set_next_input' payload."
|
2012-05-13 16:51:04 +02:00
|
|
|
|
(assert (ein:kernel-ready-p kernel))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(let* ((content (list
|
|
|
|
|
:code code
|
2012-05-22 13:34:38 +02:00
|
|
|
|
:silent (or silent json-false)
|
|
|
|
|
:user_variables user-variables
|
|
|
|
|
:user_expressions user-expressions
|
|
|
|
|
:allow_stdin allow-stdin))
|
|
|
|
|
(msg (ein:kernel--get-msg kernel "execute_request" content))
|
|
|
|
|
(msg-id (plist-get (plist-get msg :header) :msg_id)))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(ein:websocket-send
|
|
|
|
|
(ein:$kernel-shell-channel kernel)
|
|
|
|
|
(json-encode msg))
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(ein:kernel-set-callbacks-for-msg kernel msg-id callbacks)
|
|
|
|
|
msg-id))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel-complete (kernel line cursor-pos callbacks)
|
|
|
|
|
"Complete code at CURSOR-POS in a string LINE on KERNEL.
|
|
|
|
|
|
|
|
|
|
CURSOR-POS is the position in the string LINE, not in the buffer.
|
|
|
|
|
|
|
|
|
|
When calling this method pass a CALLBACKS structure of the form:
|
|
|
|
|
|
|
|
|
|
(:complete_reply (FUNCTION . ARGUMENT))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
The FUNCTION will be passed the ARGUMENT as the first argument and
|
|
|
|
|
the `content' object of the `complete_reply' message as the second.
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
`complete_reply' message is documented here:
|
|
|
|
|
http://ipython.org/ipython-doc/dev/development/messaging.html#complete
|
|
|
|
|
"
|
2012-05-13 16:51:04 +02:00
|
|
|
|
(assert (ein:kernel-ready-p kernel))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(let* ((content (list
|
|
|
|
|
:text ""
|
|
|
|
|
:line line
|
|
|
|
|
:cursor_pos cursor-pos))
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(msg (ein:kernel--get-msg kernel "complete_request" content))
|
|
|
|
|
(msg-id (plist-get (plist-get msg :header) :msg_id)))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(ein:websocket-send
|
|
|
|
|
(ein:$kernel-shell-channel kernel)
|
|
|
|
|
(json-encode msg))
|
2012-05-22 13:34:38 +02:00
|
|
|
|
(ein:kernel-set-callbacks-for-msg kernel msg-id callbacks)
|
|
|
|
|
msg-id))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel-interrupt (kernel)
|
|
|
|
|
(when (ein:$kernel-running kernel)
|
|
|
|
|
(ein:log 'info "Interrupting kernel")
|
2012-05-13 07:32:43 +02:00
|
|
|
|
(let ((url (ein:url (ein:$kernel-url-or-port kernel)
|
|
|
|
|
(ein:$kernel-kernel-url kernel)
|
|
|
|
|
"interrupt"))
|
|
|
|
|
(url-request-method "POST"))
|
|
|
|
|
(url-retrieve
|
|
|
|
|
url
|
|
|
|
|
(lambda (s)
|
|
|
|
|
(ein:log 'info "Sent interruption command.")
|
|
|
|
|
(kill-buffer (current-buffer)))))))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel-kill (kernel)
|
|
|
|
|
(when (ein:$kernel-running kernel)
|
|
|
|
|
(setf (ein:$kernel-running kernel) nil)
|
|
|
|
|
(let ((url-request-method "DELETE")
|
2012-05-13 07:37:19 +02:00
|
|
|
|
(url (ein:url-no-cache
|
|
|
|
|
(ein:url (ein:$kernel-url-or-port kernel)
|
|
|
|
|
(ein:$kernel-kernel-url kernel)))))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
(url-retrieve
|
|
|
|
|
url
|
|
|
|
|
(lambda (s)
|
|
|
|
|
(ein:log 'info "Notebook kernel is killed")
|
|
|
|
|
(kill-buffer (current-buffer)))))))
|
|
|
|
|
|
2012-05-22 13:34:38 +02:00
|
|
|
|
|
|
|
|
|
;; Reply handlers.
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel-get-callbacks-for-msg (kernel msg-id)
|
|
|
|
|
(gethash (ein:$kernel-msg-callbacks kernel) msg-id))
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel-set-callbacks-for-msg (kernel msg-id callbacks)
|
|
|
|
|
(puthash msg-id callbacks (ein:$kernel-msg-callbacks kernel)))
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel--handle-shell-reply (kernel packet)
|
|
|
|
|
(destructuring-bind
|
|
|
|
|
(&key header content parent_header &allow-other-keys)
|
|
|
|
|
(ein:json-read-from-string packet)
|
|
|
|
|
(let* ((msg-type (intern (format ":%s" (plist-get header :msg_type))))
|
|
|
|
|
(callbacks (ein:kernel-get-callbacks-for-msg
|
|
|
|
|
kernel (plist-get parent_header :msg_id)))
|
|
|
|
|
(cb (plist-get callbacks msg-type)))
|
|
|
|
|
(when cb
|
|
|
|
|
(ein:funcall-packed cb content))
|
|
|
|
|
(ein:aif (plist-get content :payload)
|
|
|
|
|
(ein:kernel--handle-payload kernel (plist-get callbacks :cell) it)))))
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel--handle-payload (kernel cell payload)
|
|
|
|
|
(loop with events = (ein:$kernel-events kernel)
|
|
|
|
|
for p in payload
|
|
|
|
|
for text = (plist-get p :text)
|
|
|
|
|
for source = (plist-get p :source)
|
|
|
|
|
if (equal source "IPython.zmq.page.page")
|
|
|
|
|
when (not (equal (ein:trim text) ""))
|
|
|
|
|
do (ein:events-trigger
|
|
|
|
|
events '(open_with_text . Pager) (list :text text))
|
|
|
|
|
else if
|
|
|
|
|
(equal source "IPython.zmq.zmqshell.ZMQInteractiveShell.set_next_input")
|
|
|
|
|
do (ein:events-trigger
|
|
|
|
|
events '(set_next_input . Cell) (list :cell cell :text text))))
|
|
|
|
|
|
|
|
|
|
(defun ein:kernel--handle-iopub-reply (kernel packet)
|
|
|
|
|
(destructuring-bind
|
|
|
|
|
(&key content parent_header header &allow-other-keys)
|
|
|
|
|
(ein:json-read-from-string packet)
|
|
|
|
|
(let* ((msg-type (intern (format ":%s" (plist-get header :msg_type))))
|
|
|
|
|
(callbacks (ein:kernel-get-callbacks-for-msg
|
|
|
|
|
kernel (plist-get parent_header :msg_id)))
|
|
|
|
|
(events (ein:$kernel-events kernel)))
|
|
|
|
|
(ein:log 'debug "HANDLE-IOPUB-REPLY: msg_type = %s" msg-type)
|
|
|
|
|
(if (and (not (eql msg-type :status)) (null callbacks))
|
|
|
|
|
(ein:log 'verbose "Got message not from this kernel.")
|
|
|
|
|
(case msg-type
|
|
|
|
|
((:stream :display_data :pyout :pyerr)
|
|
|
|
|
(ein:aif (plist-get callbacks :output)
|
|
|
|
|
(ein:funcall-packed it msg-type content)))
|
|
|
|
|
(:status
|
|
|
|
|
(ein:case-equal (plist-get content :execution_state)
|
|
|
|
|
(("busy")
|
|
|
|
|
(ein:events-trigger events '(status_busy . Kernel)))
|
|
|
|
|
(("idle")
|
|
|
|
|
(ein:events-trigger events '(status_idle . Kernel)))
|
|
|
|
|
(("dead")
|
|
|
|
|
(ein:kernel-stop-channels kernel)
|
|
|
|
|
(ein:events-trigger events '(status_dead . Kernel)))))
|
|
|
|
|
(:clear_output
|
|
|
|
|
(ein:aif (plist-get callbacks :clear_output)
|
|
|
|
|
(ein:funcall-packed it content))))))))
|
2012-05-07 14:41:15 +02:00
|
|
|
|
|
|
|
|
|
(provide 'ein-kernel)
|
|
|
|
|
|
|
|
|
|
;;; ein-kernel.el ends here
|