Fix bitwise-OR when choosing server port