Searched refs:EXECMAGIC (Results 1 – 1 of 1) sorted by relevance
12 EXECMAGIC = '\001\140\000\010' variable73 data = open(file, 'r').read(len(EXECMAGIC))74 if data == EXECMAGIC: return 1