branch: externals/eglot
commit 9ff97a648244d4d08d6670b2204692ae49753f1b
Author: João Távora <joaotav...@gmail.com>
Commit: João Távora <joaotav...@gmail.com>
Increase request timeout length to 10 seconds
* eglot.el (eglot-request-timeout): New var.
(eglot--request): Use it.
---
eglot.el | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/eglot.el b/eglot.el
index 1d72b4c..cd48519 100644
--- a/eglot.el
+++ b/eglot.el
@@ -48,8 +48,11 @@
(defface eglot-mode-line
'((t (:inherit font-lock-constant-face :weight bold)))
- "Face for package-name in EGLOT's mode line."
- :group 'eglot)
+ "Face for package-name in EGLOT's mode line.")
+
+(defcustom eglot-request-timeout 10
+ "How many seconds to way for a reply from the server."
+ :type :integer)
;;; Process management
@@ -617,7 +620,7 @@ is a symbol saying if this is a client or server
originated."
(catch catch-tag
(let ((timeout-timer
(run-with-timer
- 5 nil
+ eglot-request-timeout nil
(if async-p
(lambda ()
(remhash id (eglot--pending-continuations process))
