Fix Godot not quitting with `--doctool --gdscript-docs`.#95656

Merged

akien-mga merged 1 commit intogodotengine:masterfrom anvilfolk:gdscript-docs-quit

Aug 16, 2024

+3

Commits on Aug 16, 2024

Fix Godot not quitting with --doctool --gdscript-docs.
anvilfolk
committed