import urllib2
class LogFile():
- def __init__(self, log):
-
+ def __init__(self, log, name):
+ self.name = name
self.log = log
self.logged = []
self.log.write("# Log starts " + str(datetime.datetime.now()) + "\n")
def setup(self, board, players):
for p in players:
- self.log.write("# " + p.colour + " : " + p.name + "\n")
+ self.log.write("# " + str(p.colour) + " : " + str(p.name) + "\n")
self.log.write("# Initial board\n")
for x in range(0, w):
self.log = sys.stdout
else:
self.log = open(file_name, "w", 0)
- LogFile.__init__(self, self.log)
+ LogFile.__init__(self, self.log, "@"+file_name)
self.file_name = file_name
self.phase = 0
for l in log_files:
l.write(s)
+def debug(s):
+ sys.stderr.write("# DEBUG: " + s + "\n")
+
def log_init(board, players):
for l in log_files: