Closed flores closed 12 years ago
Starting, say, 24 servers takes longer than needed since we're currently doing them one at a time
This is now being done in parallel, but we need a mutex for some things. See #45. Closing this ticket.
Starting, say, 24 servers takes longer than needed since we're currently doing them one at a time