Function CreateFileWithContents

tools/base/utils.py:129–134

(filename, text="", force_recreate=False)

def CreateFileWithContents(filename, text="", force_recreate=False):
    if CreateFile(filename, force_recreate):
        with open(filename, "wb") as file:
            file.write(text.encode('utf-8'))
        return True
    raise IOError("Can't create file \"{}\"!".format(filename))


def RenameDirectory(srcname, dstname):