changeset 185 | fed80e5183b4 |
parent 184 | 416e097660da |
child 193 | 8d5b7c9ff783 |
1.1 --- a/OpenSecurity/bin/opensecurity_client_restful_server.py Fri Jun 06 10:46:55 2014 +0100 1.2 +++ b/OpenSecurity/bin/opensecurity_client_restful_server.py Thu Jun 12 10:34:46 2014 +0100 1.3 @@ -612,8 +612,8 @@ 1.4 _push_log(l) 1.5 1.6 except EOFError: 1.7 - 1.8 try: 1.9 + f.close() 1.10 os.remove(log_file) 1.11 except: 1.12 logger.warning('tried to delete log file (pushed to EOF) "' + log_file + '" but failed')