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">
|
2020-10-15 09:10:48 +00:00
|
|
|
<link rel="icon" type="image/x-icon" href="favicon.ico" />
|
2017-04-05 16:26:39 +00:00
|
|
|
<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
|
2018-09-06 16:08:51 +00:00
|
|
|
if (location.pathname.substr(-1) != '/') {
|
|
|
|
|
location.pathname = location.pathname + '/';
|
2017-06-07 20:38:39 +00:00
|
|
|
console.log('added slash');
|
|
|
|
|
}
|
|
|
|
|
</script>
|
|
|
|
|
<script src="script.js"></script>
|
2017-12-08 11:54:44 +00:00
|
|
|
<script>
|
2018-09-06 16:08:51 +00:00
|
|
|
var app = Elm.Main.init({
|
|
|
|
|
flags: {
|
|
|
|
|
production: true,
|
2022-10-19 16:01:24 +00:00
|
|
|
firstDayOfWeek: JSON.parse(localStorage.getItem('firstDayOfWeek')),
|
2019-05-07 14:06:06 +00:00
|
|
|
defaultCreator: localStorage.getItem('defaultCreator'),
|
|
|
|
|
groupExpandAll: JSON.parse(localStorage.getItem('groupExpandAll'))
|
2018-09-06 16:08:51 +00:00
|
|
|
}
|
|
|
|
|
});
|
2017-12-08 11:54:44 +00:00
|
|
|
app.ports.persistDefaultCreator.subscribe(function(name) {
|
2018-09-06 16:08:51 +00:00
|
|
|
localStorage.setItem('defaultCreator', name);
|
2017-12-08 11:54:44 +00:00
|
|
|
});
|
2019-05-07 14:06:06 +00:00
|
|
|
app.ports.persistGroupExpandAll.subscribe(function(expanded) {
|
2019-05-11 18:16:28 +00:00
|
|
|
localStorage.setItem('groupExpandAll', JSON.stringify(expanded));
|
2019-05-07 14:06:06 +00:00
|
|
|
});
|
2022-10-19 16:01:24 +00:00
|
|
|
app.ports.persistFirstDayOfWeek.subscribe(function(firstDayOfWeek) {
|
|
|
|
|
localStorage.setItem('firstDayOfWeek', JSON.stringify(firstDayOfWeek));
|
|
|
|
|
});
|
2017-12-08 11:54:44 +00:00
|
|
|
</script>
|
2017-04-05 16:26:39 +00:00
|
|
|
</body>
|
2016-11-03 18:49:03 +00:00
|
|
|
</html>
|
