Revert "Add chromeos-devserver5 to the list of CROS.dev_server."
This reverts commit 1a4ffee45800c022802d9839c05ec884d1a56a3e
Change-Id: I4d819814feb179cacd8a682d1b80ef75d84ae486
Reviewed-on: https://gerrit.chromium.org/gerrit/63553
Commit-Queue: Prashanth Balasubramanian <beeps@chromium.org>
Reviewed-by: Prashanth Balasubramanian <beeps@chromium.org>
Tested-by: Prashanth Balasubramanian <beeps@chromium.org>
diff --git a/global_config.ini b/global_config.ini
index 2aa8d56..143ee58 100644
--- a/global_config.ini
+++ b/global_config.ini
@@ -147,8 +147,8 @@
dns_zone: cros.corp.google.com
source_tree: /usr/local/google/chromeos
image_storage_server: gs://chromeos-image-archive/
-# chromeos-devserver{2,3,4,5}.cros
-dev_server: http://172.22.50.2:8082,http://172.17.40.27:8082,http://172.17.40.28:8082,http://172.17.40.17:8082
+# chromeos-devserver{2,3,4}.cros
+dev_server: http://172.22.50.2:8082,http://172.17.40.27:8082,http://172.17.40.28:8082
# chromeos-crash1.cros
crash_server: http://172.17.40.24:8082
sharding_factor: 1
