多单位版国产化地质资料管理系统
zs
2025-12-18 4f0d9bde31a80f6279e26466250da7716eec627f
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
<%@ page language="java" import="java.util.*" pageEncoding="UTF-8" %>
<%
    String path = request.getContextPath();
    String basePath = request.getScheme() + "://" + request.getServerName() + ":" + request.getServerPort() + path + "/";
%>
 
<!DOCTYPE HTML>
<html>
<head>
    <base href="<%=basePath%>">
    <meta name="viewport" charset="width=device-width, initial-scale=1.0">
    <meta http-equiv="X-UA-Compatible" content="ie=edge">
    <title>Video.js | HTML5 Video Player</title>
    <script type="text/javascript" src="static/plugins/jquery/jquery.min.js"></script>
 
    <!-- Chang URLs to wherever Video.js files will be hosted -->
    <link href="static/plugins/video/video-js.css" rel="stylesheet" type="text/css">
    <!-- video.js must be in the <head> for older IEs to work. -->
    <script src="static/plugins/video/video.js"></script>
 
    <!-- Unless using the CDN hosted version, update the URL to the Flash SWF -->
    <script>
        videojs.options.flash.swf = "<%=basePath%>/static/plugins/video/video-js.swf";
    </script>
 
 
</head>
<body>
<video id="video" class="video-js vjs-default-skin" controls preload="none" autoplay="true" isFullscreen="true"
       data-setup="{}">
    <source src="general/${attachViewUrl}" type='video/mp4'/>
    <!--   <source src="http://video-js.zencoder.com/oceans-clip.webm" type='video/webm' />
     <source src="http://video-js.zencoder.com/oceans-clip.ogv" type='video/ogg' /> -->
    <!-- <track kind="captions" src="demo.captions.vtt" srclang="en" label="English"></track> -->
    <!-- Tracks need an ending tag thanks to IE9 -->
    <!-- <track kind="subtitles" src="demo.captions.vtt" srclang="en" label="English"></track> -->
    <!-- Tracks need an ending tag thanks to IE9 -->
</video>
<script>
    $(function () {
        resizeWin();
 
        $(window).resize(function () {
            resizeWin();
        })
    });
 
    function resizeWin() {
        var $video = $("#video");
        if ($video.length > 0) {
            var ww = $(window).width();
            var wh = $(window).height();
            $video.attr("width", ww - 18);
            $video.attr("height", wh - 18);
        }
    }
</script>
</body>
</html>