make server bootstrap properties configurable