File: common.py

import time
def getTime(startTime):
	newtime = time.clock()
	if startTime != None:
		newtime = (newtime - startTime) / 1000
	return newtime
def file_get_contents(fileName):
	try:
		fp = file(fileName, "r")
		source = fp.read()
		fp.close()
	except:
		source = None
	return source