setup.py
changeset 8695 358d8bed9626
parent 7896 4c954e1e73ef
child 9276 ae3fd6f8da76
equal deleted inserted replaced
8694:d901c36bcfce 8695:358d8bed9626
   127                 if exists(dest):
   127                 if exists(dest):
   128                     os.remove(dest)
   128                     os.remove(dest)
   129                 shutil.copy2(src, dest)
   129                 shutil.copy2(src, dest)
   130     try:
   130     try:
   131         os.mkdir(to_dir)
   131         os.mkdir(to_dir)
   132     except OSError, ex:
   132     except OSError as ex:
   133         # file exists ?
   133         # file exists ?
   134         import errno
   134         import errno
   135         if ex.errno != errno.EEXIST:
   135         if ex.errno != errno.EEXIST:
   136             raise
   136             raise
   137     walk(from_dir, make_mirror, None)
   137     walk(from_dir, make_mirror, None)