global_config: Switch around devservers.

One devserver in the lab has a bad HDD. Switch to a backup devserver
instead.

BUG=chromium:465509
TEST=None.
DEPLOY=restart afe.
Change-Id: Ic30e9e59b9d03cb78a2f9953ae4a9e59ad2714bc
Reviewed-on: https://chromium-review.googlesource.com/257771
Tested-by: Prathmesh Prabhu <pprabhu@chromium.org>
Reviewed-by: Dan Shi <dshi@chromium.org>
diff --git a/global_config.ini b/global_config.ini
index f1d540d..e2d62aa 100644
--- a/global_config.ini
+++ b/global_config.ini
@@ -217,7 +217,7 @@
 # `dev_server` and `crash_server` unless you're very temporarily pulling a
 # server out of rotation.
 dev_server_hosts: chromeos-devserver1, chromeos-devserver2, chromeos-devserver3, chromeos-devserver4, chromeos-devserver5, chromeos-devserver6, chromeos-devserver7, chromeos-crash1, chromeos2-devserver6, chromeos2-devserver7
-dev_server: http://172.17.40.27:8082, http://100.107.160.1:8082, http://100.107.160.2:8082, http://172.17.40.22:8082, http://172.17.40.21:8082, http://172.17.40.20:8082, http://172.17.40.19:8082
+dev_server: http://172.17.40.27:8082, http://100.107.160.1:8082, http://100.107.160.2:8082, http://172.17.40.17:8082, http://172.17.40.21:8082, http://172.17.40.20:8082, http://172.17.40.19:8082
 canary_channel_server: gs://chromeos-releases/canary-channel/
 # chromeos-crash1.cros
 crash_server: http://172.17.40.24:8082