- Domain: + $lt{'dom'}: | $domain @@ -414,7 +442,7 @@ ENDLOGIN | |
- Server: + $lt{'serv'}: | $lonhost ($role) @@ -425,23 +453,23 @@ ENDLOGIN Load: | - $loadpercent percent + $loadpercent $lt{'perc'} |
- User Load: + $lt{'user'} $lt{'load'}: | - $userloadpercent percent + $userloadpercent $lt{'perc'} |