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

Markup which infinite-loops the doc server #41

Open
dtonhofer opened this issue Feb 17, 2021 · 2 comments
Open

Markup which infinite-loops the doc server #41

dtonhofer opened this issue Feb 17, 2021 · 2 comments

Comments

@dtonhofer
Copy link
Contributor

dtonhofer commented Feb 17, 2021

The markup

| =|*|= | only for non-leaf types: subtypes exist which are =|?|= and others which are =|!|=.  |

is deadly to the doc server:

The page is not displayed, and the CPU really gets a good workout.

Trying to stop SWIPL results in a segmentation fault or

?- ^D
% halt
% The following threads wouldn't die: ['httpd@4000_1']

I feel there is a runaway regex in there.

@dtonhofer dtonhofer changed the title Markup which kills the doc server Markup which infinite-loops the doc server Feb 17, 2021
@JanWielemaker
Copy link
Member

I feel there is a runaway regex in there.

Except there are no regexes 😄

@dtonhofer
Copy link
Contributor Author

My feeling betrayed me! But that's my Perl heart...

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