Resolve "after tomcat restart unfinished projects are not marked as "FAILED"" (!1497) · Merge requests · minerva / core · GitLab

Merged Piotr Gawron requested to merge 1699-tomcat-restart into devel_16.2.x May 23, 2022

Closes #1699 (closed), #1698 (closed), #1504 (closed)