You can try logging in as Hopex Adminstrator and discarding the workspace that is tied to the website generation session. If that doesn't work then yes, you would need to RDP into the server and stop the spro tied to that user.
Note that in standard HOPEX installation a certificate is installed with expiration on 3rd of February 2020. If your installation cease to work, please have your administrator sign-in and download the new certificate. Thank you for your understanding. Download Certificate+