- Timestamp:
- 2011-07-01 09:42:33 (12 years ago)
- Location:
- 2011/26
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
2011/26/build_games.py
r2387 r2390 63 63 result = "fail" 64 64 f.write(result+"\n") 65 f.write(str(time_of_update)+"\n") 65 formatted_time = time_of_update.strftime("%H:%M") 66 f.write(formatted_time+"\n") 66 67 counter += 1 67 68 -
2011/26/write_report.py
r2389 r2390 63 63 refresh_tag = addElement(html, "meta") 64 64 refresh_tag.setAttribute("http-equiv", "refresh") 65 refresh_tag.setAttribute("content", " 30")65 refresh_tag.setAttribute("content", "10") 66 66 67 67 head = addElement(html, "head")
Note: See TracChangeset
for help on using the changeset viewer.