fixed rename

This commit is contained in:
Martin Diehl 2015-05-18 14:48:25 +00:00
parent 7775b254bd
commit 76d456ee49
1 changed files with 2 additions and 1 deletions

View File

@ -306,4 +306,5 @@ for file in files:
if file['name'] != 'STDIN': if file['name'] != 'STDIN':
table.input_close() table.input_close()
table.output_close() table.output_close()
os.rename(file['name']+'_tmp',os.path.splitext(file['name'])[0] + '_material.config' if options.config else '.geom') os.rename(file['name']+'_tmp',
os.path.splitext(file['name'])[0] +'%s'%('_material.config' if options.config else '.geom'))