diff -r 41dd28557b5d -r a478cb9786fd src/cm/converters/oo_converters.py --- a/src/cm/converters/oo_converters.py Thu Jul 21 14:12:25 2011 +0200 +++ b/src/cm/converters/oo_converters.py Thu Jul 21 15:02:50 2011 +0200 @@ -317,12 +317,12 @@ if infile: infile.close() top = temp_dir - for root, dirs, files in os.walk(top, topdown=False): - for name in files: - os.remove(os.path.join(root, name)) - for name in dirs: - os.rmdir(os.path.join(root, name)) - os.rmdir(top) + #for root, dirs, files in os.walk(top, topdown=False): + # for name in files: + # os.remove(os.path.join(root, name)) + # for name in dirs: + # os.rmdir(os.path.join(root, name)) + #os.rmdir(top) except: # TODO : warn pass