Allow setting custom username for shared servers, with default as username of server being shared. #6229

This commit is contained in:
Aditya Toshniwal
2023-10-11 12:56:06 +05:30
committed by GitHub
parent 4450145d31
commit fc411bfc49
9 changed files with 90 additions and 36 deletions

View File

@@ -130,7 +130,8 @@ def load_servers():
data = json.loads(j.read())
# Validate the json file and data
errmsg = validate_json_data(data, False)
errmsg = validate_json_data(
data, current_user.has_role("Administrator"))
if errmsg is not None:
return internal_server_error(errmsg)