diff options
author | Leif Åstrand <leif@vaadin.com> | 2011-11-22 17:37:08 +0200 |
---|---|---|
committer | Leif Åstrand <leif@vaadin.com> | 2011-11-22 17:37:08 +0200 |
commit | 3bbb808f7f5d9a0b7cdf5454fd3b5843c5b78fe4 (patch) | |
tree | 85ee7d242f4967cbdbca7f36be0951e70869a187 /src/com/vaadin/terminal/gwt/server/AbstractApplicationServlet.java | |
parent | 6b655c4a63cda2100f08c78b36c347934bb38492 (diff) | |
download | vaadin-framework-3bbb808f7f5d9a0b7cdf5454fd3b5843c5b78fe4.tar.gz vaadin-framework-3bbb808f7f5d9a0b7cdf5454fd3b5843c5b78fe4.zip |
Remove old Debug param and make productionMode available in Application
Diffstat (limited to 'src/com/vaadin/terminal/gwt/server/AbstractApplicationServlet.java')
-rw-r--r-- | src/com/vaadin/terminal/gwt/server/AbstractApplicationServlet.java | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/src/com/vaadin/terminal/gwt/server/AbstractApplicationServlet.java b/src/com/vaadin/terminal/gwt/server/AbstractApplicationServlet.java index 9072e67600..0593764c52 100644 --- a/src/com/vaadin/terminal/gwt/server/AbstractApplicationServlet.java +++ b/src/com/vaadin/terminal/gwt/server/AbstractApplicationServlet.java @@ -217,14 +217,9 @@ public abstract class AbstractApplicationServlet extends HttpServlet implements private void checkProductionMode() { // Check if the application is in production mode. - // We are in production mode if Debug=false or productionMode=true - if (getApplicationOrSystemProperty(SERVLET_PARAMETER_DEBUG, "true") - .equals("false")) { - // "Debug=true" is the old way and should no longer be used - productionMode = true; - } else if (getApplicationOrSystemProperty( - SERVLET_PARAMETER_PRODUCTION_MODE, "false").equals("true")) { - // "productionMode=true" is the real way to do it + // We are in production mode if productionMode=true + if (getApplicationOrSystemProperty(SERVLET_PARAMETER_PRODUCTION_MODE, + "false").equals("true")) { productionMode = true; } @@ -1029,7 +1024,7 @@ public abstract class AbstractApplicationServlet extends HttpServlet implements Locale locale = request.getLocale(); application.setLocale(locale); application.start(applicationUrl, applicationProperties, - webApplicationContext); + webApplicationContext, isProductionMode()); } } |