Function device_lock

tools/python/utils/util.py:210–213

(device_id, timeout=7200)

# lock
################################
def device_lock(device_id, timeout=7200):
    return filelock.FileLock(
            "/tmp/device-lock-%s" % device_id.replace("/", ""),
            timeout=timeout)


def is_device_locked(device_id):