Searched refs:DUMPFILE (Results 1 – 1 of 1) sorted by relevance
137 DUMPFILE = "@webchecker.pickle" # Pickled checkpoint variable150 dumpfile = DUMPFILE235 if dumpfile == DUMPFILE:242 def load_pickle(dumpfile=DUMPFILE, verbose=VERBOSE):641 def save_pickle(self, dumpfile=DUMPFILE):