[FLINK-5466] Make production environment default in gulpfile

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 1.1.4, 1.2.0
• Fix Version/s: 1.1.5, 1.2.0, 1.3.0
• Component/s: Runtime / Web Frontend
• Assignee: Ufuk Celebi
• Reporter: Ufuk Celebi
• Created: 12/Jan/17 09:45
• Updated: 12/Jan/17 14:55
• Resolved: 12/Jan/17 14:55

Description

Currently the default environment set in our gulpfile is development, which lead to very large created JS files. When building the web UI we apparently forgot to set the environment to production (build via gulp production).

Since this is likely to occur again, we should make the default environment production and make sure to use development manually.

Issue Links

• links to: GitHub Pull Request #3100