diff options
| -rw-r--r-- | rpkid/rpki/gui/app/templates/app/conf_empty.html | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/rpkid/rpki/gui/app/templates/app/conf_empty.html b/rpkid/rpki/gui/app/templates/app/conf_empty.html index 0ef9366c..9dddc49d 100644 --- a/rpkid/rpki/gui/app/templates/app/conf_empty.html +++ b/rpkid/rpki/gui/app/templates/app/conf_empty.html @@ -2,7 +2,15 @@ {% block content %} -<h1>Error!</h1> -<p>Your account does not have permission to manage any resource handles on this server. Please contact your portal-gui operator. +{% if request.user.is_superuser %} +<div class="alert alert-info"> +There are currently no resource holders on this system. +</div> +<a class="btn" href="https://localhost/rpki/resource_holder/create" title="create a new resource holder"><i class="icon-plus-sign"></i> Create</a> +{% else %} +<div class="alert alert-error"> +Your account does not have permission to manage any resource handles on this server. Please contact your portal-gui adminstrator. +</div> +{% endif %} {% endblock %} |