broken devservers need to ask for repair, otherwise please remove from server_db |
||||
Issue descriptionWhile working on something unrelated, I found that these server names do not resolve into IP addresses. Host chromeos4-devserver3.cros.corp.google.com not found: 3(NXDOMAIN) Host chromeos2-devserver4.cros.corp.google.com not found: 3(NXDOMAIN) Hostname : chromeos2-devserver3.cros.corp.google.com Status : primary Roles : devserver Attributes : {u'IP': u'172.17.40.17'} Date Created : 2015-01-05 13:45:25 Date Modified: 2015-01-05 13:45:25 Note : None Hostname : chromeos2-devserver4.cros.corp.google.com Status : repair_required Roles : devserver Attributes : {u'IP': u'172.17.40.21'} Date Created : 2015-01-05 13:32:55 Date Modified: 2015-01-05 13:32:55 Note : None
,
Jun 22 2017
Both of the two servers are offline or not exist any more. ping chromeos2-devserver3.cros PING chromeos2-devserver3.cros.corp.google.com (172.17.40.17) 56(84) bytes of data. ^C --- chromeos2-devserver3.cros.corp.google.com ping statistics --- 5 packets transmitted, 0 received, 100% packet loss, time 4030ms ping chromeos2-devserver4.cros.corp.google.com ping: unknown host chromeos2-devserver4.cros.corp.google.com Pass to secondary to either file a ticket to the cros-lab to fix these devservers or remove them from server_db.
,
Jun 22 2017
,
Jun 22 2017
I don't think server_db is supposed to be considered accurate re our list of devservers. I can remove them from server_db, but no one should be using server_db for devservers anyway
,
Jun 22 2017
Deleted, for what it's worth |
||||
►
Sign in to add a comment |
||||
Comment 1 by dgarr...@chromium.org
, Jun 21 2017