svgui/pyjs/build.py
changeset 2418 5587c490a070
parent 1853 47a3f39bead0
child 2431 6923074540dd
equal deleted inserted replaced
2417:316ee9fff395 2418:5587c490a070
    97                 os.symlink(linkto, dstname)
    97                 os.symlink(linkto, dstname)
    98             elif isdir(srcname):
    98             elif isdir(srcname):
    99                 copytree_exists(srcname, dstname, symlinks)
    99                 copytree_exists(srcname, dstname, symlinks)
   100             else:
   100             else:
   101                 shutil.copy2(srcname, dstname)
   101                 shutil.copy2(srcname, dstname)
   102         except (IOError, os.error), why:
   102         except (IOError, os.error) as why:
   103             errors.append((srcname, dstname, why))
   103             errors.append((srcname, dstname, why))
   104     if errors:
   104     if errors:
   105         print(errors)
   105         print(errors)
   106 
   106 
   107 
   107 
   182         return
   182         return
   183     if not os.path.isdir(output):
   183     if not os.path.isdir(output):
   184         try:
   184         try:
   185             print("Creating output directory")
   185             print("Creating output directory")
   186             os.mkdir(output)
   186             os.mkdir(output)
   187         except StandardError, e:
   187         except StandardError as e:
   188             print("Exception creating output directory %s: %s" % (output, e), file=sys.stderr)
   188             print("Exception creating output directory %s: %s" % (output, e), file=sys.stderr)
   189 
   189 
   190     # public dir
   190     # public dir
   191     for p in pyjs.path:
   191     for p in pyjs.path:
   192         pub_dir = join(p, 'public')
   192         pub_dir = join(p, 'public')