Add formating of number in pie graph tracker.

diff --git a/pgbadger b/pgbadger
index 29d4beecc67a6bf7466666884b7b82bc68de2728..9f2e6fe1406b0dd897cdc54df82c932d53e62d2d 100755 (executable)
--- a/pgbadger
+++ b/pgbadger
@@ -11427,9 +11427,34 @@ function pretty_print_number(val, type)
        return val;
 }
 
+function format_number(val) {
+        var decimal = 2;
+        var msep = ',';
+        var deci = Math.round( Math.pow(10,decimal)*(Math.abs(val)-Math.floor(Math.abs(val)))) ;     
+        val = Math.floor(Math.abs(val));
+        if ((decimal==0)||(deci==Math.pow(10,decimal))) {deci=0;}
+        var val_format=val+""; 
+        var nb=val_format.length;
+        for (var i=1;i<4;i++) {
+                if (val>=Math.pow(10,(3*i))) {
+                        val_format=val_format.substring(0,nb-(3*i))+msep+val_format.substring(nb-(3*i));
+                }       
+        }       
+        if (decimal>0) {
+                var decim="";
+                for (var j=0;j<(decimal-deci.toString().length);j++) {decim+="0";}
+                deci=decim+deci.toString();
+               if (deci > 0) {
+                       val_format=val_format+"."+deci;
+               }
+        }
+        if (parseFloat(val)<0) {val_format="-"+val_format;}
+        return val_format;
+}
+
 function pieTracker(obj) 
 {
-       return obj.series.label+': '+obj.y;
+       return obj.series.label+': '+format_number(obj.y);
 }
 
 WRFILE: bean.js