Updated missingplugin to support IE 32 and 64 bits dev mode plugin.
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9480 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/plugins/MissingPlugin/build.xml b/plugins/MissingPlugin/build.xml
index de8549f..c3dcf01 100644
--- a/plugins/MissingPlugin/build.xml
+++ b/plugins/MissingPlugin/build.xml
@@ -23,8 +23,6 @@
<pathelement location="war/WEB-INF/classes"/>
<pathelement location="${gwt.user.jar}" />
<pathelement location="${gwt.dev.jar}" />
- <!-- Add any additional non-server libs (such as JUnit) -->
- <fileset dir="war/WEB-INF/lib" includes="**/*.jar"/>
</path>
<target name="javac" description="Compile java source">
diff --git a/plugins/MissingPlugin/war/MissingPlugin.html b/plugins/MissingPlugin/war/MissingPlugin.html
index 1809e3e..957f758 100644
--- a/plugins/MissingPlugin/war/MissingPlugin.html
+++ b/plugins/MissingPlugin/war/MissingPlugin.html
@@ -88,11 +88,19 @@
"ie" :
{
"caption" : "Download the GWT Developer Plugin<br>For Internet Explorer",
- "url" : "https://dl-ssl.google.com/tag/s/appguid%3D%7B9a5e649a-ec63-4c7d-99bf-75adb345e7e5%7D%26lang%3Den%26appname%3DGWT%2520Developer%2520Plugin%2520for%2520IE%26needsadmin%3Dfalse/gwt/plugins/ie/GwtDevPluginSetup.exe",
+ "url" : "https://dl-ssl.google.com/tag/s/appguid%3D%7B9a5e649a-ec63-4c7d-99bf-75adb345e7e5%7D%26lang%3Den%26appname%3DGWT%2520Developer%2520Plugin%2520for%2520IE%2520%2528x86%2529%26needsadmin%3Dfalse/gwt/plugins/ie/GwtDevPluginSetup.exe",
"platforms" : "Win x86",
"supported" : true
},
+ "ie-x64" :
+ {
+ "caption" : "Download the GWT Developer Plugin<br>For Internet Explorer (64-bit)",
+ "url" : "https://dl-ssl.google.com/tag/s/appguid%3D%7B53dae7d2-8c28-440f-920b-b2d665ce73b2%7D%26lang%3Den%26appname%3DGWT%2520Developer%2520Plugin%2520for%2520IE%2520%2528x64%2529%26needsadmin%3Dfalse/gwt/plugins/ie/GwtDevPluginSetup.exe",
+ "platforms" : "Win x64",
+ "supported" : true
+ },
+
"safari-mac" :
{
"caption" : "Download the GWT Developer Plugin<br>For Safari",
@@ -104,7 +112,6 @@
};
var ua = navigator.userAgent.toLowerCase();
-
var id = 'unknown';
if (ua.indexOf("webkit") != -1) {
if ( (ua.indexOf("iphone") != -1) || (ua.indexOf("ipod") != -1) ) {
@@ -119,7 +126,7 @@
id = 'safari-win';
}
} else if (ua.indexOf("msie") != -1) {
- id = 'ie';
+ id = (ua.indexOf("win64") == -1) ? 'ie' : 'ie-x64';
} else if (ua.indexOf("opera") != -1) {
id = 'opera';
} else if (ua.indexOf("gecko") != -1) {
