added DefaultWidgetSet to manifest file

svn changeset:9100/svn branch:2009-09-widget-packaging_3332

diff --git a/build/build.xml b/build/build.xml
index ee73d898dbdffb07551f76edf7b8fc60d974ceee..b6938224a3570d6fd079ce6b9f0df111502885e8 100644 (file)
--- a/build/build.xml
+++ b/build/build.xml
@@ -988,10 +988,11 @@
                <mkdir dir="${output-dir}/META-INF"/>
                <echo file="${output-dir}/META-INF/VERSION">${version}</echo> 
                <echo file="${output-dir}/META-INF/GWT-VERSION">${gwt-version}</echo> 
-               
                <jar jarfile="${output-dir}/WebContent/WEB-INF/lib/${lib-jar-name}" compress="true">
                        <metainf dir="${output-dir}/META-INF"/>
-                       
+                       <manifest>
+                               <attribute name="Vaadin-Widgetsets" value="com.vaadin.terminal.gwt.DefaultWidgetSet" />
+                       </manifest>
                        <fileset dir="${result-path}/classes">
                                <patternset>
                                        <exclude name="${toolkit-package}/demo/**" />