3d-dart/server/system/Utils.py
def FileRootRename(infile,extension,basename):

	"""Rename a file but preserve extension"""

	outfile = basename+extension
	os.rename(infile,outfile)
Rename a file but preserve extension
Rename a file but preserve extension
Rename a file but preserve extension
def FileRootRename(infile,extension,basename):
	outfile = basename+extension
	os.rename(infile,outfile)
def FileRootRename ( infile , extension , basename ) : outfile = basename + extension os . rename ( infile , outfile )
Rename a file but preserve extension
Rename a file but preserve extension
"""Rename a file but preserve extension"""
infile
extension
basename