Update server-psk.c