Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ctrl-C not stopping dev server with mkdocs serve #72

Open
tlambert03 opened this issue Sep 6, 2023 · 2 comments
Open

ctrl-C not stopping dev server with mkdocs serve #72

tlambert03 opened this issue Sep 6, 2023 · 2 comments

Comments

@tlambert03
Copy link

when I use mkdocs-gallery, ctrl-C doesn't appear to stop the mkdocs serve dev server anymore (only way I can do it is to kill my terminal altogether). Is that known behavior? or am I missing something?

@tlambert03
Copy link
Author

I just realized that this only happens when run_stale_examples is set to True

@smarie
Copy link
Owner

smarie commented Nov 20, 2023

Thanks for reporting @tlambert03 !
I tried to set run_stale_examples: true in the config but could not reproduce your issue.

So it seems that there is something related to your stale example in particular. If you managed to get a minimal reproducible example, could you please share it here ?

Thanks !

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants