examples: update KC705 DNS (used for CI)

2018-01-17 09:41:47 +08:00 · 2018-01-17 09:41:47 +08:00 · 917477f937
commit 917477f937
parent 4f3e7af8d5
1 changed files with 1 additions and 1 deletions
--- a/artiq/examples/master/device_db.py
+++ b/artiq/examples/master/device_db.py
@ -2,7 +2,7 @@
 # The RTIO channel numbers here are for NIST CLOCK on KC705.
 # The list of devices here is not exhaustive.

-core_addr = "kc705.lab.m-labs.hk"
+core_addr = "kc705-1.lab.m-labs.hk"

 device_db = {
    "core": {