Ticket #438: autoreload.patch

autoreload.py

old	new
5	5	import sys
6	6	import time
7	7	import thread
	8	import errno
8	9
9	10	RUN_RELOADER = True
10	11	reloadFiles = []
…	…
22	23	filename = filename[:-1]
23	24	try:
24	25	mtime = os.stat(filename).st_mtime
25		except OSError:
	26	except OSError, e:
	27	if e.errno == errno.ENOENT:
	28	continue
26	29	sys.exit(3) # force reload
27	30	if filename not in mtimes:
28	31	mtimes[filename] = mtime