'''Collection of helper functions for Gradio UI and interface.''' import os import re def update_log(n: int = 10): '''Gets updated logging output from disk to display to user. Args: n: number of most recent lines of log output to display Returns: Logging output as string ''' with open('logs/rss_server.log', 'r', encoding='utf-8') as log_file: lines = log_file.readlines() return ''.join(lines[-n:]) def delete_old_logs(directory:str, basename:str) -> None: '''Deletes old log files from previous optimization sessions, if present. Args: directory: path to log file directory as string basename: log file base name as string Returns: None ''' for filename in os.listdir(directory): file_path = os.path.join(directory, filename) if re.search(basename, filename): os.remove(file_path)