You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
111 lines
4.0 KiB
111 lines
4.0 KiB
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<!--
|
|
If you are serving your web app in a path other than the root, change the
|
|
href value below to reflect the base path you are serving from.
|
|
|
|
The path provided below has to start and end with a slash "/" in order for
|
|
it to work correctly.
|
|
|
|
For more details:
|
|
* https://developer.mozilla.org/en-US/docs/Web/HTML/Element/base
|
|
-->
|
|
<base href="/dgm_web/">
|
|
|
|
<meta charset="UTF-8">
|
|
<meta content="IE=Edge" http-equiv="X-UA-Compatible">
|
|
<meta name="description" content="A new Flutter project.">
|
|
|
|
<link rel="shortcut icon" href="icons/Icon-192.png" type="image/x-icon" />
|
|
|
|
<!-- iOS meta tags & icons -->
|
|
<meta name="apple-mobile-web-app-capable" content="yes">
|
|
<meta name="apple-mobile-web-app-status-bar-style" content="black">
|
|
<meta name="apple-mobile-web-app-title" content="dde_gesture_manager">
|
|
<link rel="apple-touch-icon" href="icons/Icon-192.png">
|
|
|
|
<title>dde_gesture_manager</title>
|
|
<link rel="manifest" href="manifest.json">
|
|
<!-- Baidu statistics -->
|
|
<script>
|
|
var _hmt = _hmt || [];
|
|
(function() {
|
|
var hm = document.createElement("script");
|
|
hm.src = "https://hm.baidu.com/hm.js?45acc9824a216a8f1792b419eb91f090";
|
|
var s = document.getElementsByTagName("script")[0];
|
|
s.parentNode.insertBefore(hm, s);
|
|
})();
|
|
</script>
|
|
</head>
|
|
<body>
|
|
<!-- This script installs service_worker.js to provide PWA functionality to
|
|
application. For more information, see:
|
|
https://developers.google.com/web/fundamentals/primers/service-workers -->
|
|
<script>
|
|
var serviceWorkerVersion = null;
|
|
var scriptLoaded = false;
|
|
function loadMainDartJs() {
|
|
if (scriptLoaded) {
|
|
return;
|
|
}
|
|
scriptLoaded = true;
|
|
var scriptTag = document.createElement('script');
|
|
scriptTag.src = 'main.dart.js';
|
|
scriptTag.type = 'application/javascript';
|
|
document.body.append(scriptTag);
|
|
}
|
|
|
|
if ('serviceWorker' in navigator) {
|
|
// Service workers are supported. Use them.
|
|
window.addEventListener('load', function () {
|
|
// Wait for registration to finish before dropping the <script> tag.
|
|
// Otherwise, the browser will load the script multiple times,
|
|
// potentially different versions.
|
|
var serviceWorkerUrl = 'flutter_service_worker.js?v=' + serviceWorkerVersion;
|
|
navigator.serviceWorker.register(serviceWorkerUrl)
|
|
.then((reg) => {
|
|
function waitForActivation(serviceWorker) {
|
|
serviceWorker.addEventListener('statechange', () => {
|
|
if (serviceWorker.state == 'activated') {
|
|
console.log('Installed new service worker.');
|
|
loadMainDartJs();
|
|
}
|
|
});
|
|
}
|
|
if (!reg.active && (reg.installing || reg.waiting)) {
|
|
// No active web worker and we have installed or are installing
|
|
// one for the first time. Simply wait for it to activate.
|
|
waitForActivation(reg.installing ?? reg.waiting);
|
|
} else if (!reg.active.scriptURL.endsWith(serviceWorkerVersion)) {
|
|
// When the app updates the serviceWorkerVersion changes, so we
|
|
// need to ask the service worker to update.
|
|
console.log('New service worker available.');
|
|
reg.update();
|
|
waitForActivation(reg.installing);
|
|
} else {
|
|
// Existing service worker is still good.
|
|
console.log('Loading app from service worker.');
|
|
loadMainDartJs();
|
|
}
|
|
});
|
|
|
|
// If service worker doesn't succeed in a reasonable amount of time,
|
|
// fallback to plaint <script> tag.
|
|
setTimeout(() => {
|
|
if (!scriptLoaded) {
|
|
console.warn(
|
|
'Failed to load app from service worker. Falling back to plain <script> tag.',
|
|
);
|
|
loadMainDartJs();
|
|
}
|
|
}, 4000);
|
|
});
|
|
} else {
|
|
// Service workers not supported. Just drop the <script> tag.
|
|
loadMainDartJs();
|
|
}
|
|
</script>
|
|
</body>
|
|
</html>
|