only copy in the /dev/sd* file if its not there
authorMarc Fiuczynski <mef@cs.princeton.edu>
Fri, 17 Jul 2009 04:04:01 +0000 (04:04 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Fri, 17 Jul 2009 04:04:01 +0000 (04:04 +0000)
plugins/rawdisk.py

index f81ca26..b220a46 100644 (file)
@@ -59,9 +59,14 @@ def GetSlivers(plc, data, conf):
                 for i in devices:
                     st = os.stat(i)
                     path = "/vservers/%s%s" % (sliver['name'], i)
+                    if os.path.exists(path):
+                        # should check whether its the proper type of device
+                        continue
+                    
                     logger.log("Copying %s to %s" % (i, path))
                     try:
-                        os.unlink(path)
+                        if os.path.exists(path):
+                            os.unlink(path)
                     except:
                         pass
                     os.mknod(path, st.st_mode, st.st_rdev)