diff options
author | stuebinm | 2023-05-20 00:15:28 +0200 |
---|---|---|
committer | stuebinm | 2023-05-20 00:15:28 +0200 |
commit | 5d1f570190b4b7d0c94913b5eb0a11a591de31b6 (patch) | |
tree | 291bebc379420c796ebdbe97bad6b22c9ab889fb /tools/obu-ping | |
parent | 965eb7097326bd28a7e5cb6c243c28e81cab4593 (diff) |
onboard-tools: fix https
Diffstat (limited to 'tools/obu-ping')
-rwxr-xr-x | tools/obu-ping | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/obu-ping b/tools/obu-ping index ee75402..2897e23 100755 --- a/tools/obu-ping +++ b/tools/obu-ping @@ -95,7 +95,7 @@ Arguments: (define (fetch-token url trip) (define tls - (equal? (uri-ref url 'scheme) 'https)) + (equal? (uri-ref url 'scheme) "https")) (display (format "fetching new token for trip ~a…\n" trip)) (parameterize ; replace all json keys with symbols; everything else is confusing @@ -111,7 +111,7 @@ Arguments: (define (ping url token pos) (define tls - (equal? (uri-ref url 'scheme) 'https)) + (equal? (uri-ref url 'scheme) "https")) (parameterize ([json-object-handler json-symbol-key]) (parse-json-string (values-ref (http-post |