From 3f83780049ed5fbb95ad26c3659e790622736964 Mon Sep 17 00:00:00 2001
From: Murtuza Zabuawala <murtuza.zabuawala@enterprisedb.com>
Date: Mon, 17 Jul 2017 10:18:31 +0100
Subject: [PATCH] Remove the comma from PIDs in the statistics panel.

---
 .../misc/statistics/static/js/statistics.js   | 21 +++++++++++++------
 1 file changed, 15 insertions(+), 6 deletions(-)

diff --git a/web/pgadmin/misc/statistics/static/js/statistics.js b/web/pgadmin/misc/statistics/static/js/statistics.js
index 1377c1eb7..ab8fbb849 100644
--- a/web/pgadmin/misc/statistics/static/js/statistics.js
+++ b/web/pgadmin/misc/statistics/static/js/statistics.js
@@ -324,14 +324,23 @@ define([
       this.columns = [];
       for (var idx in columns) {
         var rawColumn = columns[idx],
-            col = {
+        cell_type = typeCellMapper[rawColumn['type_code']] || 'string';
+
+        // Don't show PID comma separated
+        if(rawColumn['name'] == 'PID') {
+          cell_type = cell_type.extend({
+            orderSeparator: ''
+          });
+        }
+
+        var col = {
             editable: false,
             name: rawColumn['name'],
-            cell: typeCellMapper[rawColumn['type_code']] || 'string'
-           };
-           if (_.indexOf(prettifyFields, rawColumn['name']) != -1) {
-            col['formatter'] = SizeFormatter
-           }
+            cell: cell_type
+        };
+        if (_.indexOf(prettifyFields, rawColumn['name']) != -1) {
+          col['formatter'] = SizeFormatter
+        }
         this.columns.push(col);
 
       }