ignore unknown request types (#1092)

JuliaLang · May 28, 2024 · f443f0c · f443f0c
1 parent 1855336
commit f443f0c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/src/eventloop.jl b/src/eventloop.jl
@@ -5,7 +5,7 @@ function eventloop(socket)
             msg = recv_ipython(socket)
             try
                 send_status("busy", msg)
-                invokelatest(handlers[msg.header["msg_type"]], socket, msg)
+                invokelatest(get(handlers, msg.header["msg_type"], unknown_request), socket, msg)
             catch e
                 # Try to keep going if we get an exception, but
                 # send the exception traceback to the front-ends.

diff --git a/src/handlers.jl b/src/handlers.jl
@@ -274,6 +274,10 @@ function interrupt_request(socket, msg)
     send_ipython(requests[], msg_reply(msg, "interrupt_reply", Dict()))
 end
 
+function unknown_request(socket, msg)
+    @vprintln("UNKNOWN MESSAGE TYPE $(msg.header["msg_type"])")
+end
+
 const handlers = Dict{String,Function}(
     "execute_request" => execute_request,
     "complete_request" => complete_request,