Dev servers are registered per owner (lowercase username), so there is no need to wake every dev server.