skeleton/setup.py
changeset 8695 358d8bed9626
parent 8565 53c8cf9450b9
child 9516 6e2244784b7d
equal deleted inserted replaced
8694:d901c36bcfce 8695:358d8bed9626
   113                 if exists(dest):
   113                 if exists(dest):
   114                     os.remove(dest)
   114                     os.remove(dest)
   115                 shutil.copy2(src, dest)
   115                 shutil.copy2(src, dest)
   116     try:
   116     try:
   117         os.mkdir(to_dir)
   117         os.mkdir(to_dir)
   118     except OSError, ex:
   118     except OSError as ex:
   119         # file exists ?
   119         # file exists ?
   120         import errno
   120         import errno
   121         if ex.errno != errno.EEXIST:
   121         if ex.errno != errno.EEXIST:
   122             raise
   122             raise
   123     walk(from_dir, make_mirror, None)
   123     walk(from_dir, make_mirror, None)