artiq_coremgmt: remove unnecessary DeviceManager

This commit is contained in:
Sebastien Bourdeauducq 2018-08-18 10:46:08 +08:00
parent 167e97efd2
commit fc09144baa
1 changed files with 50 additions and 55 deletions

View File

@ -5,7 +5,6 @@ import struct
from artiq.tools import verbosity_args, init_logger
from artiq.master.databases import DeviceDB
from artiq.master.worker_db import DeviceManager
from artiq.coredevice.comm_kernel import CommKernel
from artiq.coredevice.comm_mgmt import CommMgmt
from artiq.coredevice.profiler import CallgrindWriter
@ -134,8 +133,6 @@ def main():
args = get_argparser().parse_args()
init_logger(args)
device_mgr = DeviceManager(DeviceDB(args.device_db))
try:
core_addr = DeviceDB(args.device_db).get("core")["arguments"]["host"]
mgmt = CommMgmt(core_addr)
@ -193,8 +190,6 @@ def main():
if args.action == "allocator":
mgmt.debug_allocator()
finally:
device_mgr.close_devices()
if __name__ == "__main__":
main()