Hi,
Please find attached patch for number formating issue in variable.js andsession changed duplicate values issue.
-- *Harshal Dhumal**Software Engineer *
EenterpriseDB <http://www.enterprisedb.com>