Question: Changing default port (i.e. 5037) on which adb server runs