diff --git a/UD_any/data/getRawText.py b/UD_any/data/getRawText.py index 2cb01e16dfd3520066922e84990875a8823d1148..74b78cd9244e154a8de34b1fbe7479bf5535af3e 100755 --- a/UD_any/data/getRawText.py +++ b/UD_any/data/getRawText.py @@ -16,6 +16,8 @@ if __name__ == "__main__" : splited = os.path.splitext(pathToFile) target = splited[0] + ".txt" + if os.path.isfile(target) : + continue targetFile = open(target, "w") command = sys.argv[1] + " " + pathToFile p = subprocess.Popen(command, stdout=targetFile, stderr=sys.stderr, shell=True)