From d882cf553b27ec6ff4393790c3f21d133fa3b93e Mon Sep 17 00:00:00 2001 From: Ioannis Rosuochatzakis Date: Fri, 27 Mar 2026 16:18:55 +0100 Subject: [PATCH 01/19] Fix query options not included in generated URLs (#32) Fixes #32 --- src/js/QueryEditor.js | 5 ++++- src/js/QueryResults.js | 5 ++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/src/js/QueryEditor.js b/src/js/QueryEditor.js index 24c0a76..03376d1 100644 --- a/src/js/QueryEditor.js +++ b/src/js/QueryEditor.js @@ -247,8 +247,11 @@ export class QueryEditor { const format = document.getElementById("format").value || "application/sparql-results+json"; const defaultGraphUri = document.getElementById("default-graph-uri").value; const timeout = document.getElementById("timeout").value || 30000; + const strict = document.getElementById("strict").checked ? "true" : "false"; + const debug = document.getElementById("debug").checked ? "true" : "false"; + const report = document.getElementById("report").checked ? "true" : "false"; - const url = `${this.sparqlEndpoint}?default-graph-uri=${encodeURIComponent(defaultGraphUri)}&query=${encodeURIComponent(minifiedQuery)}&format=${encodeURIComponent(format)}&timeout=${encodeURIComponent(timeout)}`; + const url = `${this.sparqlEndpoint}?default-graph-uri=${encodeURIComponent(defaultGraphUri)}&query=${encodeURIComponent(minifiedQuery)}&format=${encodeURIComponent(format)}&timeout=${encodeURIComponent(timeout)}&strict=${encodeURIComponent(strict)}&debug=${encodeURIComponent(debug)}&report=${encodeURIComponent(report)}`; console.log(`Generated URL: ${url}`); navigator.clipboard.writeText(url).then(() => { diff --git a/src/js/QueryResults.js b/src/js/QueryResults.js index 11f6019..3a06f67 100644 --- a/src/js/QueryResults.js +++ b/src/js/QueryResults.js @@ -53,8 +53,11 @@ export class QueryResults { const format = document.getElementById("format").value || "application/sparql-results+json"; const defaultGraphUri = document.getElementById("default-graph-uri").value; const timeout = document.getElementById("timeout").value || 30000; + const strict = document.getElementById("strict").checked ? "true" : "false"; + const debug = document.getElementById("debug").checked ? "true" : "false"; + const report = document.getElementById("report").checked ? "true" : "false"; - return `${this.originalSparqlEndpoint}?default-graph-uri=${encodeURIComponent(defaultGraphUri)}&query=${encodeURIComponent(minifiedQuery)}&format=${encodeURIComponent(format)}&timeout=${encodeURIComponent(timeout)}`; + return `${this.originalSparqlEndpoint}?default-graph-uri=${encodeURIComponent(defaultGraphUri)}&query=${encodeURIComponent(minifiedQuery)}&format=${encodeURIComponent(format)}&timeout=${encodeURIComponent(timeout)}&strict=${encodeURIComponent(strict)}&debug=${encodeURIComponent(debug)}&report=${encodeURIComponent(report)}`; } /** From f1cf0cf9e99b4d5595c36b5b54f310ac3021f77e Mon Sep 17 00:00:00 2001 From: Ioannis Rosuochatzakis Date: Fri, 27 Mar 2026 16:54:21 +0100 Subject: [PATCH 02/19] Remove SSL_OP_NO_TLSv1_2 that broke TLS connections --- src/js/cors-proxy.js | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/js/cors-proxy.js b/src/js/cors-proxy.js index 502b839..beffaef 100644 --- a/src/js/cors-proxy.js +++ b/src/js/cors-proxy.js @@ -58,8 +58,7 @@ app.all('/proxy', async (req, res) => { options.agent = proxyAgent; } else { options.agent = new https.Agent({ - rejectUnauthorized: false, - secureOptions: require('constants').SSL_OP_NO_TLSv1_2 + rejectUnauthorized: false }); } From 7dd14d9faffbcbea102696e2fc43a12b6393cdd0 Mon Sep 17 00:00:00 2001 From: Ioannis Rosuochatzakis Date: Fri, 27 Mar 2026 16:54:28 +0100 Subject: [PATCH 03/19] Add stop button to cancel running queries (#31) Fixes #31 --- index.html | 1 + src/js/QueryEditor.js | 26 ++++++++++++++++++++++++-- 2 files changed, 25 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index 315b8bd..7261873 100644 --- a/index.html +++ b/index.html @@ -354,6 +354,7 @@
Backend Components
+