#!/usr/local/bin/python import sys,string,time,os sys.path.append('../internal') import otros months = [ '', 'January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December'] for epnum in sys.argv[1:]: curep = string.atoi(epnum[:3]) pix = open('../internal/epnames', 'r') for i in range(0, curep + 1): epname = pix.readline()[:-1] pix.close() if epname == '': epname = 'XXX' cureplong = '%03d' % curep if len(epnum) == 3: which = 'guide' else: which = 'extra' input = open(epnum, 'r') mtime = time.localtime(os.stat(epnum)[8]); mtime_str = '%s %d, %d' % (months[mtime[1]], mtime[2], mtime[0]) try: os.unlink('#' + epnum + '.html') except: pass try: os.rename(epnum + '.html', '#' + epnum + '.html') except: pass output = open(epnum + '.html', 'w') output.write("""
Contents: Overview - Backplot - Questions - Analysis - Notes - JMS
""") wholefile = input.read() input.close() rewrite = open('@' + epnum, 'w') needsupdate = 0 pieces = string.splitfields(wholefile, '@@@') output.write(pieces[0]) rewrite.write(pieces[0]) for piece in pieces[1:]: try: timestamp =string.atoi(piece[:string.index(piece, ' ')]) except: timestamp = 0 if timestamp == 0: needsupdate = 1 timestamp = int(time.time()) rewrite.write('@@@' + `timestamp`) rewrite.write(piece[string.index(piece, ' '):]) else: rewrite.write('@@@' + piece) if timestamp >= time.time() - 14 * 60 * 60 * 24: timeval = time.localtime(timestamp) output.write('[[%d/%d]]' % (timeval[1], timeval[2])); output.write(piece[string.index(piece, ' '):]) rewrite.close() if needsupdate: try: os.unlink('#' + epnum) except: pass os.rename(epnum, '#' + epnum) os.rename('@' + epnum, epnum) else: os.unlink('@' + epnum) output.write('
\n\n\n' + otros.pagefooter(curep) + """