2016-04-26 15:10:05 +02:00
|
|
|
<app-frame>
|
2017-07-09 14:23:50 +02:00
|
|
|
<div body class="container">
|
|
|
|
|
|
|
|
<div class="panel panel-default" *ngIf="notificationService.notifications.length>0">
|
|
|
|
<div class="panel-heading">
|
|
|
|
<h3 class="panel-title">Server notifications</h3>
|
|
|
|
</div>
|
|
|
|
<div class="panel-body">
|
|
|
|
<ng-container *ngFor="let notification of notificationService.notifications">
|
|
|
|
|
2017-07-14 09:28:52 +02:00
|
|
|
<div class="alert alert-{{getCss(notification.type)}}" role="alert">
|
2017-07-09 14:23:50 +02:00
|
|
|
{{notification.message}}
|
|
|
|
<br *ngIf="notification.details"/>
|
|
|
|
{{notification.details | json}}
|
|
|
|
</div>
|
|
|
|
</ng-container>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="panel-footer">
|
|
|
|
To dismiss these notifications, restart the server.
|
|
|
|
</div>
|
2016-05-01 10:28:05 +02:00
|
|
|
</div>
|
2017-07-09 14:23:50 +02:00
|
|
|
|
2017-07-15 16:09:48 +02:00
|
|
|
<settings-basic></settings-basic>
|
2017-07-15 12:47:11 +02:00
|
|
|
<settings-usermanager></settings-usermanager>
|
2017-07-09 14:23:50 +02:00
|
|
|
<settings-database></settings-database>
|
2017-07-15 12:47:11 +02:00
|
|
|
<settings-thumbnail></settings-thumbnail>
|
2017-07-15 14:27:12 +02:00
|
|
|
<settings-search></settings-search>
|
2017-07-15 15:29:04 +02:00
|
|
|
<settings-share></settings-share>
|
2017-07-15 14:27:12 +02:00
|
|
|
<settings-map></settings-map>
|
2017-07-15 16:31:43 +02:00
|
|
|
<settings-other></settings-other>
|
2017-07-09 14:23:50 +02:00
|
|
|
</div>
|
2016-04-26 15:10:05 +02:00
|
|
|
</app-frame>
|