p34709852
/
monkey
forked from p15670423/monkey
1
0
Fork 1
Code Issues Pull Requests Projects Releases Wiki Activity

BB: Change agent log file name 

Use underscores to improve readability
This commit is contained in:
Mike Salvatore 2022-10-03 07:51:40 -04:00
parent e369ef2933
commit fc24d80410
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
envs/monkey_zoo/blackbox/log_handlers/monkey_logs_downloader.py
View File

@ -51,9 +51,9 @@ class MonkeyLogsDownloader(object):
except IndexError:
machine_ip = "UNKNOWN"
start_time = agent.start_time.strftime("%Y-%m-%d-%H-%M-%S")
start_time = agent.start_time.strftime("%Y-%m-%d_%H-%M-%S")
return self.log_dir_path / f"agent-{start_time}-{machine_ip}.log"
return self.log_dir_path / f"agent_{start_time}_{machine_ip}.log"
@staticmethod
def _write_log_to_file(log_file_path: Path, log_contents: str):