要设置红米手机的定位服务器，可以按照以下步骤进行操作：
第一步：进入设置界面在手机桌面上找到“设置”图标，点击进入设置界面。
第二步：找到位置信息设置选项在设置界面中，向下滑动找到“位置信息”选项，并点击进入。
第三步：选择定位模式在位置信息设置界面中，可以看到有“定位模式”选项。点击进入后，可以选择不同的定位模式，如“高精度”、“省电模式”、“设备模式”等。
第四步：进入高级设置在定位模式选项下方，可以看到“高级设置”选项，点击进入。
第五步：选择定位服务器在高级设置界面中，可以看到“选择定位服务器”选项。点击进入后，可以选择使用的定位服务器。
第六步：设置定位服务器在选择定位服务器界面中，根据需要选择适合的定位服务器。根据您的地理位置和网络环境，可以选择使用默认的服务器，也可以手动设置其他服务器。
第七步：保存设置设置好定位服务器后，点击返回按钮，然后点击右上角的“保存”按钮，即可完成定位服务器的设置。
需要注意的是，不同的定位服务器可能在定位的准确度和速度上有所差异。根据自己的需求和网络环境，可以选择合适的定位服务器来提高定位的准确度和响应速度。