As Peter Berdine says. You may also be interested in the halting problem <https://en.wikipedia.org/wiki/Halting_problem>. It is impossible to tell from an arbitrary while loop whether or not it is infinite.
On Tuesday, July 30, 2019 at 6:57:44 PM UTC-7, Peter Burdine wrote: > > Is your code protected by: > > if __name__ == "__main__": > main() > > If you dont have something like this, your code will be executed when the > files are exec'd to get the doc strings. > > On Tue, Jul 30, 2019, 13:34 Peter Burdine <[email protected] <javascript:>> > wrote: > >> I don't believe Sphinx (by default) uses while loops. Are you writing >> your own extension or using an installed extension? We've had an issue >> like this in the past when using jinja. Is that what you are talking about? >> >> On Monday, July 22, 2019 at 1:57:46 AM UTC-7, József Pohl wrote: >>> >>> Hi, >>> >>> My sphinx generator worked fine until I added an infinite loop to the >>> code. It should only exit on key press which makes sphinx run in an >>> infinite loop and it can be terminated only by killing the process. >>> Can you please advise a workaround for this? Is there an option to tell >>> sphinx that it should ignore discovering "while true" loops? >>> >>> Regards >>> Joe >>> >>> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sphinx-users" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sphinx-users/DYikQD3IO5A/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> [email protected] <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sphinx-users/df1fe68e-83cf-411d-9cf9-c5faa5da5a51%40googlegroups.com >> >> <https://groups.google.com/d/msgid/sphinx-users/df1fe68e-83cf-411d-9cf9-c5faa5da5a51%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sphinx-users/e8b3b38a-6121-474b-b14d-892388f95d1f%40googlegroups.com.
