Open dtonhofer opened 3 years ago
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.
Except there are no regexes :smile:
My feeling betrayed me! But that's my Perl heart...
The markup
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
I feel there is a runaway regex in there.