Re: server: return NULL from device_open_file on failure to allocate fd