- """Close and remove all files in IO files DB."""
- io_db["file_out"].close()
- os.remove(io_db["path_out"])
- io_db["file_in"].close()
- os.remove(io_db["path_in"])
- if "file_worldstate" in io_db: # This file is only set up
- io_db["file_worldstate"].close() # properly when the game
- if os.access(io_db["path_worldstate"], os.F_OK): # world is active, which is
- os.remove(io_db["path_worldstate"]) # not guaranteed.
+ """Close and remove all files open in IO files DB."""
+ def helper(file_key, path_key):
+ if file_key in io_db:
+ io_db[file_key].close()
+ os.remove(io_db[path_key])
+ helper("file_out", "path_out")
+ helper("file_in", "path_in")
+ helper("file_worldstate", "path_worldstate")
+
+
+def detect_atomic_leftover(path):
+ """Raise explained HandledException if file is found at path + "_tmp"."""
+ path_tmp = path + "_tmp"
+ msg = "Found file '" + path_tmp + "' that may be a leftover from an " \
+ "aborted previous attempt to write '" + path + "'. Aborting until " \
+ "the matter is resolved by removing it from its current path."
+ if os.access(path_tmp, os.F_OK):
+ raise HandledException(msg)
+
+
+def obey(msg):
+ """"""
+ print("Input: " + msg)
+
+
+def tokenize(string):
+ """Divide string by " ", \t and quotes (that also group). Escape with \."""
+ charlist_A = list(string)
+ i = 0
+ for c in charlist_A:
+ if "\\" == c and i < len(charlist_A) - 1:
+ charlist_A[i] = "remove"
+ charlist_A[i + 1] = charlist_A[i + 1] + "_escaped"
+ i = i + 1
+ charlist_B = []
+ for c in charlist_A:
+ if "remove" != c:
+ charlist_B.append(c)
+ in_quotes = 0
+ i = 0
+ for c in charlist_B:
+ if "\"" == c:
+ in_quotes = 0 if in_quotes else 1
+ if i < len(charlist_B) - 1:
+ charlist_B[i] = "separator"
+ elif (not in_quotes) and (" " == c or "\t" == c):
+ charlist_B[i] = "separator"
+ i = i + 1
+ list_of_charlists = [[]]
+ i = 0
+ for c in charlist_B:
+ if "separator" == c:
+ if [] != list_of_charlists[-1]:
+ list_of_charlists.append([])
+ i = i + 1
+ else:
+ list_of_charlists[i].append(c[0])
+ tokens = []
+ for charlist in list_of_charlists:
+ tokens.append("".join(charlist))
+ return tokens
+