making server event loop size configurable