server: treat some signals