added default values to Server's initializer