gonito-frontend/public/index.html

61 lines
2.1 KiB
HTML
Raw Permalink Normal View History

2022-07-01 14:29:38 +02:00
<!DOCTYPE html>
<html lang="en">
2022-07-14 09:34:56 +02:00
<head>
<meta charset="utf-8"/>
<link rel="icon" href="%PUBLIC_URL%/favicon.ico"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<meta name="theme-color" content="#000000"/>
2022-07-01 14:29:38 +02:00
<meta
2022-07-14 09:34:56 +02:00
name="description"
content="A data challenge platform for machine learning research, competition, cooperation and reproducibility."
2022-07-01 14:29:38 +02:00
/>
2022-07-14 09:34:56 +02:00
<link rel="apple-touch-icon" href="%PUBLIC_URL%/logo192.png"/>
2022-07-01 14:29:38 +02:00
<!--
manifest.json provides metadata used when your web app is installed on a
user's mobile device or desktop. See https://developers.google.com/web/fundamentals/web-app-manifest/
-->
2022-07-14 09:34:56 +02:00
<link rel="manifest" href="%PUBLIC_URL%/manifest.json"/>
2022-07-01 14:29:38 +02:00
<!--
Notice the use of %PUBLIC_URL% in the tags above.
It will be replaced with the URL of the `public` folder during the build.
Only files inside the `public` folder can be referenced from the HTML.
Unlike "/favicon.ico" or "favicon.ico", "%PUBLIC_URL%/favicon.ico" will
work correctly both with client-side routing and a non-root public URL.
Learn how to configure a non-root public URL by running `npm run build`.
-->
2022-07-14 09:34:56 +02:00
<title>Gonito</title>
</head>
<body>
<noscript>You need to enable JavaScript to run this app.</noscript>
<div id="root"></div>
<!--
This HTML file is a template.
If you open it directly in the browser, you will see an empty page.
2022-07-01 14:29:38 +02:00
2022-07-14 09:34:56 +02:00
You can add webfonts, meta tags, or analytics to this file.
The build step will place the bundled scripts into the <body> tag.
2022-07-01 14:29:38 +02:00
2022-07-14 09:34:56 +02:00
To begin the development, run `npm start` or `yarn start`.
To create a production bundle, use `npm run build` or `yarn build`.
-->
2022-10-21 15:13:19 +02:00
<script>
{
var WS = window.WebSocket;
function DevWebSocket(s) {
if (s === "ws://localhost:3000/sockjs-node") {
console.info("[DEV NOTICE] Live Reload Has Been Disabled");
return {};
} else {
// Pass through other usage of sockets
return new WS(s);
}
}
window.WebSocket = DevWebSocket;
}
</script>
2022-07-14 09:34:56 +02:00
</body>
2022-07-01 14:29:38 +02:00
</html>