Skip to content

[v9_16] Fix startup detection after restart in start.pl

Backport of !6881 (merged)

Closes #3592 (closed)

Merge request reports