aboutsummaryrefslogtreecommitdiffstats
path: root/scratch/semgrep
diff options
context:
space:
mode:
Diffstat (limited to 'scratch/semgrep')
-rw-r--r--scratch/semgrep/semgrep.el7
1 files changed, 6 insertions, 1 deletions
diff --git a/scratch/semgrep/semgrep.el b/scratch/semgrep/semgrep.el
index a93803b..fdfcfdb 100644
--- a/scratch/semgrep/semgrep.el
+++ b/scratch/semgrep/semgrep.el
@@ -26,6 +26,11 @@
;; Silence byte-compiler.
(defvar url-http-end-of-headers)
+(defcustom semgrep-server-url "http://localhost:8080"
+ "Address where the Python server with the chromadb is listening."
+ :type 'url
+ :group 'semgrep)
+
(defun semgrep--connect (method data)
(let ((url-request-method "POST")
(url-request-extra-headers '(("Content-Type" . "application/json")))
@@ -33,7 +38,7 @@
(json-serialize `(,method ,data))
'utf-8)))
(with-current-buffer
- (url-retrieve-synchronously "http://localhost:8080")
+ (url-retrieve-synchronously semgrep-server-url)
(goto-char url-http-end-of-headers)
(json-read))))