From 191f0aed80f0dda22cf42f64f9c7277103522b36 Mon Sep 17 00:00:00 2001
From: Markus Zolliker <markus.zolliker@psi.ch>
Date: Fri, 23 May 2025 13:04:37 +0200
Subject: [PATCH] logfile name depending on port

---
 webserver.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webserver.py b/webserver.py
index 6277fce..c0d11c0 100755
--- a/webserver.py
+++ b/webserver.py
@@ -115,7 +115,7 @@ class Server:
 
         app.debug = True
 
-        logging.basicConfig(filename='logifle.log', filemode='w', level=logging.INFO,
+        logging.basicConfig(filename=f'logfile{port}.log', filemode='w', level=logging.INFO,
                             format='%(asctime)s %(levelname)s %(message)s')
 
         # srv = gevent.wsgi.WSGIServer(('', port), app, keyfile='key.key', certfile='key.crt')