fix device id contains '/'

tools/python/utils/util.py

@@ -208,8 +208,9 @@ def abi_to_internal(abi):
 # lock
 ################################
 def device_lock(device_id, timeout=7200):
-    return filelock.FileLock("/tmp/device-lock-%s" % device_id,
-                             timeout=timeout)
+    return filelock.FileLock(
+            "/tmp/device-lock-%s" % device_id.replace("/", ""),
+            timeout=timeout)
 
 
 def is_device_locked(device_id):

tools/sh_commands.py

@@ -70,7 +70,7 @@ def device_lock_path(serialno):
 
 def device_lock(serialno, timeout=7200):
     import filelock
-    return filelock.FileLock(device_lock_path(serialno), timeout=timeout)
+    return filelock.FileLock(device_lock_path(serialno.replace("/", "")), timeout=timeout)
 
 
 def is_device_locked(serialno):