[server] Add a new version of select().