diff options
Diffstat (limited to 'scratch/semgrep')
| -rw-r--r-- | scratch/semgrep/semgrep.el | 7 |
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)))) |