Closed ironiemix closed 5 years ago
It is not necessary to keep all the information in the $userinfo file after the login.
Implemented in 5c6c2cd56893bf6b2937a0d27344c54a23da6ff5
It is not necessary to keep all the information in the $userinfo file after the login.