mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 06:04:06 +00:00
Code Activity

Add localtime to log file

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-03-11 01:06:09 +01:00
parent 2c13fbefe6
commit 93752c6fce
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
sbysrc/sby_core.py
View file

@ -20,7 +20,7 @@ import os, re, resource, sys
import subprocess, fcntl
from shutil import copyfile
from select import select
from time import time
from time import time, localtime
class SbyTask:
def __init__(self, job, info, deps, cmdline, logfile=None, logstderr=True):
@ -156,7 +156,6 @@ class SbyJob:
ru = resource.getrusage(resource.RUSAGE_CHILDREN)
self.start_process_time = ru.ru_utime + ru.ru_stime
self.logprefix = "SBY [%s]" % self.workdir
self.summary = list()
self.logfile = open("%s/logfile.txt" % workdir, "w")
@ -279,8 +278,9 @@ class SbyJob:
self.terminate(timeout=True)
def log(self, logmessage):
print("%s %s" % (self.logprefix, logmessage))
print("%s %s" % (self.logprefix, logmessage), file=self.logfile)
tm = localtime()
print("SBY %2d:%02d:%02d [%s] %s" % (tm.tm_hour, tm.tm_min, tm.tm_sec, self.workdir, logmessage))
print("SBY %2d:%02d:%02d [%s] %s" % (tm.tm_hour, tm.tm_min, tm.tm_sec, self.workdir, logmessage), file=self.logfile)
self.logfile.flush()
def copy_src(self):