mirror of https://github.com/percyliang/sempre
put logs in their own files by uid bug fix
This commit is contained in:
parent
15ffcfa874
commit
04550e8c12
|
|
@ -277,7 +277,7 @@ def emit_top_builders():
|
|||
|
||||
def log(message):
|
||||
"""Logs the given message by writing it in the uid's JSON log file."""
|
||||
uid = message["uid"] if hasattr(message, 'uid') else "NULL_session"
|
||||
uid = message["uid"] if 'uid' in message else "NULL_session"
|
||||
|
||||
path = os.path.join(LOG_FOLDER, uid + ".json")
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue