[FLINK-858] PlanJSONDumpGenerator.formatNumber()'s punctuation is broken

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Fix Version/s: pre-apache
• Labels: github-import
• Assignee: Stephan Ewen
• Reporter: GitHub Import
• Created: 09/Jun/14 13:02
• Updated: 13/Jun/14 00:08
• Resolved: 13/Jun/14 00:08

Description

A minor issue I found while testing for the 0.5 release.

In the web frontend, it says "Cumulative Disk I/O: 1,.04.29 TB"
There is a comma and a dot after the 1.

---------------- Imported from GitHub ----------------
Url: https://github.com/stratosphere/stratosphere/issues/858
Created by: rmetzger
Labels: bug, gui, simple-issue,
Created at: Sat May 24 22:16:29 CEST 2014
State: open