From a8a6740bf5ad5c80fe846c46665171cdbc37bfb0 Mon Sep 17 00:00:00 2001
From: tm689 <tm689@cam.ac.uk>
Date: Tue, 8 Nov 2022 10:23:40 +0000
Subject: [PATCH] fix: closing old log file.

This is necessary for Win to be able to rename the file afterward.
---
 coordinator/Processor.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coordinator/Processor.py b/coordinator/Processor.py
index cd58e73..b87a217 100755
--- a/coordinator/Processor.py
+++ b/coordinator/Processor.py
@@ -211,6 +211,7 @@ def move_default_logfile_handler(dstPathName,srcPathName=log_path_default,FileHa
     # remove handler for source file
     logger.info('Stopping write to old file handler')
     logger.removeHandler(oldFileHandler)
+    oldFileHandler.close()
     logger.info('Successfully stopped write to old file handler')
 
     # delete old log file
-- 
GitLab