i18n/mki18n.py
changeset 1749 d73b64672238
parent 1744 69dfdb26f600
child 1754 63f4af6bf6d9
equal deleted inserted replaced
1748:ba5f64fe0e00 1749:d73b64672238
   420    thePath = os.path.normpath(thePath)
   420    thePath = os.path.normpath(thePath)
   421    if os.sep == '/':
   421    if os.sep == '/':
   422       return thePath
   422       return thePath
   423    else:
   423    else:
   424       return thePath.replace(os.sep, '/')
   424       return thePath.replace(os.sep, '/')
       
   425 
   425 
   426 
   426 # -----------------------------------------------------------------------------
   427 # -----------------------------------------------------------------------------
   427 
   428 
   428 # S c r i p t   e x e c u t i o n               -- Runs when invoked from the command line --
   429 # S c r i p t   e x e c u t i o n               -- Runs when invoked from the command line --
   429 # ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   430 # ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^