|
|
-
- function checkJre(){
-
- var agt=navigator.userAgent.toLowerCase();
- var is_major = parseInt(navigator.appVersion);
-
-
- var is_nav = ((agt.indexOf('mozilla')!=-1) && (agt.indexOf('spoofer')== -1)
- && (agt.indexOf('compatible') == -1) && (agt.indexOf('opera')== -1)
- && (agt.indexOf('webtv')==-1) && (agt.indexOf('hotjava')== -1));
- var is_nav4up = (is_nav && (is_major >= 4));
-
- var pluginDetected = false;
-
- // we can check for plugin existence only when browser is 'is_ie5up' or 'is_nav4up'
- if(is_nav4up) {
-
- // Refresh 'navigator.plugins' to get newly installed plugins.
- // Use 'navigator.plugins.refresh(false)' to refresh plugins
- // without refreshing open documents (browser windows)
- if(navigator.plugins) {
- navigator.plugins.refresh(false);
- }
-
- // check for Java plugin in installed plugins
- if(navigator.mimeTypes) {
- // window.alert( navigator.mimeTypes.length);
- for (i=0; i < navigator.mimeTypes.length; i++) {
- // window.alert( navigator.mimeTypes[i].type);
- if( (navigator.mimeTypes[ i].type != null)
- &&(navigator.mimeTypes[ i].type.indexOf(
- "application/x-java-applet;jpi-version=1.4") != -1) ) {
- //window.alert("Found");
- pluginDetected = true;
- break;
- }
-
- }
- }
-
- }
-
- if (pluginDetected) {
- // show applet page
- document.location.href="appletref.htm";
-
- } else if (confirm("Java Plugin 1.4+ not found, Do you want to download it?\n" +
- "if you choose not to install the plugin the reports graphical applets will not be available.")) {
- document.location.href=XilinxD;
- } else {
- document.location.href="appletref.htm";
- }
-
- }
-
|
