Vi startar om webbservern www9 nu pga problem med vissa processer som hängt upp sig. Servern är uppe igen inom 10 minuter.

Uppdaterat: servern startades om snabbt och allt fungerar åter som vanligt.