util.py

def str_escape(str):
	return str.replace("\\","\\\\").replace("\"", "\\\"").replace("\'", "\\\'")