From fd596d4275a7b0f685337222098de980e7c0f2c2 Mon Sep 17 00:00:00 2001 From: "Steven G. Johnson" Date: Wed, 24 Jul 2013 23:01:56 -0400 Subject: [PATCH] shutdown_request for #4 --- jlkernel/handlers.jl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/jlkernel/handlers.jl b/jlkernel/handlers.jl index 2cee93e4..fbd4aad0 100644 --- a/jlkernel/handlers.jl +++ b/jlkernel/handlers.jl @@ -89,7 +89,14 @@ function complete_request(socket, msg) [ "matches" => matches ])) end +function shutdown_request(socket, msg) + send_ipython(request, msg_reply(msg, "shutdown_reply", + msg.content)) + exit() +end + const handlers = (String=>Function)[ "execute_request" => execute_request_0x535c5df2, "complete_request" => complete_request, + "shutdown_request" => shutdown_request, ]