2017-04-05 16:26:39 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
<html lang="en">
|
|
|
|
<head>
|
2017-05-22 11:36:31 +00:00
|
|
|
<meta charset="utf-8">
|
2017-04-05 16:26:39 +00:00
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
|
|
|
|
<title>Alertmanager</title>
|
|
|
|
</head>
|
|
|
|
<body>
|
2017-06-07 20:38:39 +00:00
|
|
|
<script>
|
2018-01-02 13:25:54 +00:00
|
|
|
// If there is no trailing slash at the end of the path in the url,
|
|
|
|
// add one. This ensures assets like script.js are loaded properly
|
|
|
|
if (window.location.pathname.substr(-1) != '/') {
|
2017-06-07 20:38:39 +00:00
|
|
|
window.location.pathname = window.location.pathname + '/';
|
|
|
|
console.log('added slash');
|
|
|
|
}
|
|
|
|
</script>
|
|
|
|
<script src="script.js"></script>
|
2017-12-08 11:54:44 +00:00
|
|
|
<script>
|
|
|
|
var app = Elm.Main.embed(document.body, { production: true, defaultCreator: window.localStorage.getItem('defaultCreator') });
|
|
|
|
app.ports.persistDefaultCreator.subscribe(function(name) {
|
|
|
|
window.localStorage.setItem('defaultCreator', name);
|
|
|
|
});
|
|
|
|
</script>
|
2017-04-05 16:26:39 +00:00
|
|
|
</body>
|
2016-11-03 18:49:03 +00:00
|
|
|
</html>
|