blob: e3d7dfa8e2a425b7aed5b9ba9dfab3872c48b1b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
/*
@ITMillApache2LicenseForJavaFiles@
*/
package com.vaadin.terminal.gwt.server;
/**
* TODO Document me!
*
* @author peholmst
*
*/
public interface Constants {
static final String NOT_PRODUCTION_MODE_INFO = "\n"
+ "=================================================================\n"
+ "Vaadin is running in DEBUG MODE.\nAdd productionMode=true to web.xml "
+ "to disable debug features.\nTo show debug window, add ?debug to "
+ "your application URL.\n"
+ "=================================================================";
static final String WARNING_XSRF_PROTECTION_DISABLED = "\n"
+ "===========================================================\n"
+ "WARNING: Cross-site request forgery protection is disabled!\n"
+ "===========================================================";
static final String WARNING_RESOURCE_CACHING_TIME_NOT_NUMERIC = "\n"
+ "===========================================================\n"
+ "WARNING: resourceCacheTime has been set to a non integer value "
+ "in web.xml. The default of 1h will be used.\n"
+ "===========================================================";
static final String WIDGETSET_MISMATCH_INFO = "\n"
+ "=================================================================\n"
+ "The widgetset in use does not seem to be built for the Vaadin\n"
+ "version in use. This might cause strange problems - a\n"
+ "recompile/deploy is strongly recommended.\n"
+ " Vaadin version: %s\n"
+ " Widgetset version: %s\n"
+ "=================================================================";
static final String URL_PARAMETER_RESTART_APPLICATION = "restartApplication";
static final String URL_PARAMETER_CLOSE_APPLICATION = "closeApplication";
static final String URL_PARAMETER_REPAINT_ALL = "repaintAll";
static final String URL_PARAMETER_THEME = "theme";
static final String SERVLET_PARAMETER_PRODUCTION_MODE = "productionMode";
static final String SERVLET_PARAMETER_DISABLE_XSRF_PROTECTION = "disable-xsrf-protection";
static final String SERVLET_PARAMETER_RESOURCE_CACHE_TIME = "resourceCacheTime";
// Configurable parameter names
static final String PARAMETER_VAADIN_RESOURCES = "Resources";
static final int DEFAULT_BUFFER_SIZE = 32 * 1024;
static final int MAX_BUFFER_SIZE = 64 * 1024;
static final String AJAX_UIDL_URI = "/UIDL";
final String THEME_DIRECTORY_PATH = "VAADIN/themes/";
static final int DEFAULT_THEME_CACHETIME = 1000 * 60 * 60 * 24;
static final String WIDGETSET_DIRECTORY_PATH = "VAADIN/widgetsets/";
// Name of the default widget set, used if not specified in web.xml
static final String DEFAULT_WIDGETSET = "com.vaadin.terminal.gwt.DefaultWidgetSet";
// Widget set parameter name
static final String PARAMETER_WIDGETSET = "widgetset";
static final String ERROR_NO_WINDOW_FOUND = "No window found. Did you remember to setMainWindow()?";
static final String DEFAULT_THEME_NAME = "reindeer";
static final String INVALID_SECURITY_KEY_MSG = "Invalid security key.";
// portal configuration parameters
static final String PORTAL_PARAMETER_VAADIN_WIDGETSET = "vaadin.widgetset";
static final String PORTAL_PARAMETER_VAADIN_RESOURCE_PATH = "vaadin.resources.path";
static final String PORTAL_PARAMETER_VAADIN_THEME = "vaadin.theme";
}
|
