flink-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From uce <...@git.apache.org>
Subject [GitHub] flink pull request #3100: [FLINK-5466] [webfrontend] Set environment to prod...
Date Thu, 12 Jan 2017 09:52:50 GMT
GitHub user uce opened a pull request:


    [FLINK-5466] [webfrontend] Set environment to production in gulpfile

    The default environment was set to `development`, which leads to very large generated
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, I set the default environment to `production` and
let users set the environment to `development` manually (via `gulp dev`).
    -rw-r--r--  1 uce  staff    42K Jan 12 10:43 index.js
    -rw-r--r--  1 uce  staff   931K Jan 12 10:43 vendor.js
    -rw-r--r--  1 uce  staff   328K Jan 12 10:49 index.js
    -rw-r--r--  1 uce  staff   8.4M Jan 12 10:49 vendor.js
    I would like to merge this to the 1.1 and 1.2 branches as well.
    /cc @joerg84

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/uce/flink 5466-prod

Alternatively you can review and apply these changes as the patch at:


To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #3100
commit bd666810aa2df86206b607199139dedb23910b84
Author: Ufuk Celebi <uce@apache.org>
Date:   2017-01-12T09:46:31Z

    [FLINK-5466] [webfrontend] Set environment to production in gulpfile


If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastructure@apache.org or file a JIRA ticket
with INFRA.

View raw message