From 192001d378745ae51f9d81b3bf5e79dfb7ee9cb7 Mon Sep 17 00:00:00 2001 From: Patrick Brosi Date: Wed, 25 Sep 2024 11:16:55 +0200 Subject: [PATCH] better number formatting of numobjects --- src/qlever-petrimaps/server/Server.cpp | 2 +- web/script.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/qlever-petrimaps/server/Server.cpp b/src/qlever-petrimaps/server/Server.cpp index 482d04e..c5966c0 100755 --- a/src/qlever-petrimaps/server/Server.cpp +++ b/src/qlever-petrimaps/server/Server.cpp @@ -651,7 +651,7 @@ util::http::Answer Server::handlePosReq(const Params& pars) const { // res of -1 means dont render clusters if (style == HEATMAP || reso >= THRESHOLD) reso = -1; - LOG(INFO) << "[SERVER] Click at " << x << ", " << y; + LOG(DEBUG) << "[SERVER] Click at " << x << ", " << y; std::shared_ptr reqor; { diff --git a/web/script.js b/web/script.js index 5a98039..660472d 100755 --- a/web/script.js +++ b/web/script.js @@ -144,7 +144,7 @@ function loadMap(id, bounds, numObjects, autoThreshold) { map.fitBounds(boundsLatLng); sessionId = id; - document.getElementById("stats").innerHTML = "Showing " + numObjects + (numObjects > 1 ? " objects" : " object") + ""; + document.getElementById("stats").innerHTML = "Showing " + numObjects.toLocaleString('en') + (numObjects > 1 ? " objects" : " object") + ""; const heatmapLayer = L.nonTiledLayer.wms('heatmap', { minZoom: 0,