better number formatting of numobjects

ad-freiburg · Sep 25, 2024 · 192001d · 192001d
1 parent 8b9e85f
commit 192001d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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<Requestor> reqor;
   {

diff --git 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 = "<span>Showing " + numObjects + (numObjects > 1 ? " objects" : " object") + "</span>";
+    document.getElementById("stats").innerHTML = "<span>Showing " + numObjects.toLocaleString('en') + (numObjects > 1 ? " objects" : " object") + "</span>";
 
 	const heatmapLayer = L.nonTiledLayer.wms('heatmap', {
         minZoom: 0,