2016-04-26 21:10:05 +08:00
|
|
|
<app-frame>
|
2017-07-09 20:23:50 +08: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 15:28:52 +08:00
|
|
|
<div class="alert alert-{{getCss(notification.type)}}" role="alert">
|
2017-07-09 20:23:50 +08: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 16:28:05 +08:00
|
|
|
</div>
|
2017-07-09 20:23:50 +08:00
|
|
|
|
2017-07-15 18:47:11 +08:00
|
|
|
<settings-usermanager></settings-usermanager>
|
2017-07-09 20:23:50 +08:00
|
|
|
<settings-database></settings-database>
|
2017-07-14 05:39:09 +08:00
|
|
|
<settings-map></settings-map>
|
2017-07-15 18:47:11 +08:00
|
|
|
<settings-thumbnail></settings-thumbnail>
|
2017-07-09 20:23:50 +08:00
|
|
|
</div>
|
2016-04-26 21:10:05 +08:00
|
|
|
</app-frame>
|