Remove no longer needed cancel handler

Author: davidanthoff

src/languageserverinstance.jl

@@ -420,7 +420,6 @@ function Base.run(server::LanguageServerInstance; timings = [])
     msg_dispatcher[initialize_request_type] = request_wrapper(initialize_request, server)
     msg_dispatcher[initialized_notification_type] = notification_wrapper(initialized_notification, server)
     msg_dispatcher[shutdown_request_type] = request_wrapper(shutdown_request, server)
-    msg_dispatcher[cancel_notification_type] = notification_wrapper(cancel_notification, server)
     msg_dispatcher[setTrace_notification_type] = notification_wrapper(setTrace_notification, server)
     msg_dispatcher[setTraceNotification_notification_type] = notification_wrapper(setTraceNotification_notification, server)
     msg_dispatcher[julia_getCurrentBlockRange_request_type] = request_wrapper(julia_getCurrentBlockRange_request, server)

src/protocol/messagedefs.jl

@@ -37,7 +37,6 @@ const shutdown_request_type = JSONRPC.RequestType("shutdown", Nothing, Nothing)
 const exit_notification_type = JSONRPC.NotificationType("exit", Nothing)
 const client_registerCapability_request_type = JSONRPC.RequestType("client/registerCapability", RegistrationParams, Nothing)
 
-const cancel_notification_type = JSONRPC.NotificationType("\$/cancelRequest", CancelParams)
 const setTrace_notification_type = JSONRPC.NotificationType("\$/setTrace", SetTraceParams)
 # TODO This seems to not exist in the spec?
 const setTraceNotification_notification_type = JSONRPC.NotificationType("\$/setTraceNotification", Nothing)

src/requests/misc.jl

@@ -1,6 +1,3 @@
-function cancel_notification(params::CancelParams, server::LanguageServerInstance, conn)
-end
-
 function setTrace_notification(params::SetTraceParams, server::LanguageServerInstance, conn)
 end