2858259497
Summary: Flipper Launcher downloads, unpacks, launches Flipper, and closes itself. This is fine except for the fact that Flipper may be initiating and thus there's a gap of a few seconds until engineers see the main Flipper UI. This change improves this by launching earlier, even if just showing a loading page until Flipper is actually ready. Reviewed By: passy, aigoncharov Differential Revision: D48824479 fbshipit-source-id: aa6147a09f313d80592c9b08d089660ba73773a4
69 lines
1.4 KiB
HTML
69 lines
1.4 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
|
|
<head>
|
|
<meta charset="utf-8" />
|
|
<meta http-equiv="X-UA-Compatible" content="IE=edge" />
|
|
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
|
|
<title>Loading...</title>
|
|
|
|
<style>
|
|
body {
|
|
font-family: system-ui;
|
|
font-size: 13px;
|
|
cursor: default;
|
|
overflow: hidden;
|
|
line-height: 1;
|
|
}
|
|
|
|
#container {
|
|
-webkit-app-region: drag;
|
|
z-index: 999999;
|
|
position: absolute;
|
|
top: 0;
|
|
left: 0;
|
|
bottom: 0;
|
|
right: 0;
|
|
padding: 50px;
|
|
overflow: auto;
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: center;
|
|
font-size: 20px;
|
|
color: #525252;
|
|
text-align: center;
|
|
}
|
|
|
|
</style>
|
|
|
|
</head>
|
|
|
|
<body>
|
|
<div id="container">
|
|
<div>
|
|
Loading...
|
|
</div>
|
|
|
|
</div>
|
|
<script>
|
|
// The loading page is shown until the server is ready to accept incoming
|
|
// connections. Poll until the server is ready and returns
|
|
// the actual entry point instead of this page.
|
|
async function checkAndReload() {
|
|
try {
|
|
const response = await fetch('.');
|
|
if (response.status >= 200 && response.status < 500) {
|
|
window.location.reload();
|
|
return;
|
|
}
|
|
} catch {
|
|
}
|
|
window.setTimeout(checkAndReload, 250);
|
|
}
|
|
checkAndReload();
|
|
</script>
|
|
</body>
|
|
|
|
</html>
|