temporarily change the DeviceServer port to 12347 for testing