Rename haveAdminPrivileges -> isAdministratorOrPrintErr (use meaningful names)

This commit is contained in:
Alfredo Cardigliano 2021-07-02 16:51:40 +02:00
parent 96c5e2025d
commit ca6707c54a
52 changed files with 53 additions and 53 deletions

View file

@ -14,7 +14,7 @@ local format_utils = require("format_utils")
local os_utils = require "os_utils"
local host_pools_nedge = require "host_pools_nedge"
if not haveAdminPrivileges() then
if not isAdministratorOrPrintErr() then
sendHTTPContentTypeHeader('text/html')
page_utils.print_header()