A utility class for CGIManager, which is used to record information on a python module that has been loaded into the system so that it can be reloaded when appropriate.
def __init__(self, mod, mtime):