]> git.aero2k.de Git - tmp/jakarta-migration.git/commitdiff
projects / tmp / jakarta-migration.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6b74270)
NOJIRA: Updating deployment script for new UI.
authorRichard Millet <remillet@yahoo.com>
Mon, 12 Mar 2018 19:18:53 +0000 (12:18 -0700)
committerRichard Millet <remillet@yahoo.com>
Mon, 12 Mar 2018 19:18:53 +0000 (12:18 -0700)
cspace-ui/build.xml patch | blob | history
cspace-ui/cspace#core/Identify.html [new file with mode: 0644] patch | blob

diff --git a/cspace-ui/build.xml b/cspace-ui/build.xml
index 35a6b48565ea4b527b8995e6ec15e513c810e28b..a64d016a3aea869e9d5ab5ea09b5c06f8dfbfe5c 100644 (file)
--- a/cspace-ui/build.xml
+++ b/cspace-ui/build.xml
@@ -27,7 +27,7 @@
     
     <target name="deploy" depends="download" description="deploy cspace ui to ${jee.server.cspace}">
         <filter token="UI_VERSION" value="${cspace.ui.version}" />
-        <copy todir="${jee.deploy.cspace}/${cspace.ui.webapp}" filtering="true">
+        <copy todir="${jee.deploy.cspace}/${cspace.ui.webapp}" filtering="true" overwrite="true">
             <fileset dir="${cspace.ui.webapp}"/>
         </copy>
         <move file="cspaceUI@${cspace.ui.version}.min.js" todir="${jee.deploy.cspace.ui.shared}"></move>
diff --git a/cspace-ui/cspace#core/Identify.html b/cspace-ui/cspace#core/Identify.html
new file mode 100644 (file)
index 0000000..2aee5ad
--- /dev/null
+++ b/cspace-ui/cspace#core/Identify.html
@@ -0,0 +1,39 @@
+<!DOCTYPE html>
+<html>
+    <head></head>
+    <body>
+        <p>What is the name(s) of your browser?</p>
+        <button onclick="myFunction()">Try it</button>
+        <p id="demo"></p>
+        <script>
+
+    function myFunction() { 
+     if((navigator.userAgent.indexOf("Opera") || navigator.userAgent.indexOf('OPR')) != -1 ) 
+    {
+        alert('Opera');
+    }
+    else if(navigator.userAgent.indexOf("Chrome") != -1 )
+    {
+        alert('Chrome');
+    }
+    else if(navigator.userAgent.indexOf("Safari") != -1)
+    {
+        alert('Safari');
+    }
+    else if(navigator.userAgent.indexOf("Firefox") != -1 ) 
+    {
+         alert('Firefox');
+    }
+    else if((navigator.userAgent.indexOf("MSIE") != -1 ) || (!!document.documentMode == true )) //IF IE > 10
+    {
+      alert('IE'); 
+    }  
+    else 
+    {
+       alert('unknown');
+    }
+    }
+    </script>
+        
+    </body>
+</html>