svgui/pyjs/pyjs.py
changeset 1829 a776ac02b079
parent 1826 91796f408540
child 1836 d42b6cf00fa6
equal deleted inserted replaced
1828:396da88d7b5c 1829:a776ac02b079
  1748   usage: %s file_name [module_name]
  1748   usage: %s file_name [module_name]
  1749 """
  1749 """
  1750 
  1750 
  1751 
  1751 
  1752 def main():
  1752 def main():
  1753     import sys
       
  1754     if len(sys.argv) < 2:
  1753     if len(sys.argv) < 2:
  1755         print(usage % sys.argv[0], file=sys.stderr)
  1754         print(usage % sys.argv[0], file=sys.stderr)
  1756         sys.exit(1)
  1755         sys.exit(1)
  1757     file_name = os.path.abspath(sys.argv[1])
  1756     file_name = os.path.abspath(sys.argv[1])
  1758     if not os.path.isfile(file_name):
  1757     if not os.path.isfile(file_name):