Skip to content

Allow letting the docs build to fail with servedocs()#176

Merged
tlienart merged 1 commit into
JuliaDocs:masterfrom
JamesWrigley:robust-servedocs
Apr 9, 2024
Merged

Allow letting the docs build to fail with servedocs()#176
tlienart merged 1 commit into
JuliaDocs:masterfrom
JamesWrigley:robust-servedocs

Conversation

@JamesWrigley
Copy link
Copy Markdown
Contributor

Previously servedocs() would exit whenever the docs failed to build, and it can be annoying to always restart it on errors. Now when building the docs fails a special status will be set on the SimpleWatcher which will get serve_file() to return a custom error page (which will be reloaded automatically when the docs build again).

This is what the error page looks like:
image

Previously `servedocs()` would exit whenever the docs failed to build, and it
can be annoying to always restart it on errors. Now when building the docs fails
a special status will be set on the `SimpleWatcher` which will get
`serve_file()` to return a custom error page (which will be reloaded
automatically when the docs build again).
@JamesWrigley
Copy link
Copy Markdown
Contributor Author

(gentle bump)

Copy link
Copy Markdown
Collaborator

@tlienart tlienart left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks a lot for this and sorry for the delay (struggling with maintainers duty these days..), PR lgtm, I'll do a minor release soonish

@tlienart tlienart merged commit e6997ed into JuliaDocs:master Apr 9, 2024
@JamesWrigley JamesWrigley deleted the robust-servedocs branch April 9, 2024 21:04
@JamesWrigley
Copy link
Copy Markdown
Contributor Author

No worries, thanks for merging it :)

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

Successfully merging this pull request may close these issues.

2 participants