Tolerate invalid $/setTraceNotification message sent from Theia

Author: cmaglie

lsp_msg_convert.go

@@ -558,7 +558,7 @@ func DecodeClientNotificationParams(method string, req json.RawMessage) (interfa
 		return &res, json.Unmarshal(req, &res)
 	case "exit":
 		return nil, nil
-	case "$/setTrace":
+	case "$/setTrace", "$/setTraceNotification":
 		var res SetTraceParams
 		return &res, json.Unmarshal(req, &res)
 	case "window/workDoneProgress/cancel":

server.go

@@ -136,7 +136,7 @@ func (serv *Server) notificationDispatcher(logger jsonrpc.FunctionLogger, method
 		serv.handler.Initialized(logger, &param)
 	case "exit":
 		serv.handler.Exit(logger)
-	case "$/setTrace":
+	case "$/setTrace", "$/setTraceNotification":
 		var param SetTraceParams
 		if err := json.Unmarshal(req, &param); err != nil {
 			serv.errorHandler(err)