Added server log output to UI.

functions/gradio_functions.py

@@ -0,0 +1,62 @@
+'''Collection of helper functions for Gradio UI and interface.'''
+
+import os
+import re
+import logging
+from pathlib import Path
+from logging.handlers import RotatingFileHandler
+
+
+def configure_root_logger() -> None:
+    '''Configures root logger for project-wide logging.'''
+
+    # Make sure log directory exists
+    Path('logs').mkdir(parents=True, exist_ok=True)
+
+    # Clear old logs if present
+    delete_old_logs('logs', 'rss_server')
+
+    # Set up the root logger so we catch logs from
+    logging.basicConfig(
+        handlers=[RotatingFileHandler(
+            'logs/rss_server.log',
+            maxBytes=100000,
+            backupCount=10,
+            mode='w'
+        )],
+        level=logging.INFO,
+        format='%(levelname)s - %(name)s - %(message)s'
+    )
+
+
+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)

rss_server.py

@@ -6,14 +6,18 @@ from logging.handlers import RotatingFileHandler
 
 import gradio as gr
 import assets.html as html
-from functions import tools as tool_funcs
+import functions.tools as tool_funcs
+import functions.gradio_functions as gradio_funcs
 
+
+# Set-up logging
 # Make sure log directory exists
 Path('logs').mkdir(parents=True, exist_ok=True)
 
-# Set-up logger
-logger = logging.getLogger()
+# Clear old logs if present
+gradio_funcs.delete_old_logs('logs', 'rss_server')
 
+# Set up the root logger so we catch logs from
 logging.basicConfig(
     handlers=[RotatingFileHandler(
         'logs/rss_server.log',
@@ -30,10 +34,20 @@ logger = logging.getLogger(__name__)
 
 with gr.Blocks() as demo:
 
-    with gr.Row():
-        gr.HTML(html.TITLE)
+    # Page text
+    gr.HTML(html.TITLE)
+    gr.HTML(html.DESCRIPTION)
+
+    # Log output
+    dialog_output = gr.Textbox(label='Server logs', lines=10, max_lines=100)
+    timer = gr.Timer(0.5, active=True)
+
+    timer.tick( # pylint: disable=no-member
+        lambda: gradio_funcs.update_log(), # pylint: disable=unnecessary-lambda
+        outputs=dialog_output
+    )
 
-    gr.Markdown(html.DESCRIPTION)
+    # Get feed tool
     website_url = gr.Textbox('hackernews.com', label='Website')
     output = gr.Textbox(label='RSS entries', lines=10)
     submit_button = gr.Button('Submit')