Send failed RPC calls through the logging framework.

Julian · Jan 15, 2025 · 76c11ed · 76c11ed
1 parent b5ff076
commit 76c11ed
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/lua/lean/rpc.lua b/lua/lean/rpc.lua
@@ -180,6 +180,16 @@ function Session:call(pos, method, params)
     end
   end
   register(result)
+
+  if err then
+    log:error {
+      message = 'RPC error.',
+      method = method,
+      params = params,
+      error = err,
+      result = result,
+    }
+  end
   return result, err
 end