Server stopped responding again, so had to put in a manual reboot request. Admin says it shouldn’t be a DDOS anymore. Hmmm…