if by any chance user is null then reload webpage (but it should never happen)

Placeholder Piotr Gawronrequested to merge
1019-null-user into devel_14.0.x

Closes #1019 (closed), #976 (closed)

Edited by Placeholder Piotr Gawron

Merge request reports