diff options
Diffstat (limited to 'client/src/com/vaadin/Vaadin.gwt.xml')
| -rw-r--r-- | client/src/com/vaadin/Vaadin.gwt.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml index f7d1cf8410..dcc5b0d294 100644 --- a/client/src/com/vaadin/Vaadin.gwt.xml +++ b/client/src/com/vaadin/Vaadin.gwt.xml @@ -38,6 +38,15 @@ <when-type-assignable class="com.vaadin.client.metadata.ConnectorBundleLoader" /> </generate-with> + + <!-- Set vaadin.profiler to true to include profiling support in the module --> + <define-property name="vaadin.profiler" values="true,false" /> + <set-property name="vaadin.profiler" value="false" /> + + <replace-with class="com.vaadin.client.Profiler.EnabledProfiler"> + <when-type-is class="com.vaadin.client.Profiler" /> + <when-property-is name="vaadin.profiler" value="true" /> + </replace-with> <!-- Use the new cross site linker to get a nocache.js without document.write --> <add-linker name="xsiframe" /> |