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

Update markdown renderer if config is updated #1128

Closed
brc-dd opened this issue Aug 5, 2022 · 1 comment · Fixed by #1132
Closed

Update markdown renderer if config is updated #1128

brc-dd opened this issue Aug 5, 2022 · 1 comment · Fixed by #1132
Labels
build Related to the build system enhancement New feature or request

Comments

@brc-dd
Copy link
Member

brc-dd commented Aug 5, 2022

Currently, it requires one to restart the server in these cases.

@brc-dd brc-dd added enhancement New feature or request build Related to the build system labels Aug 5, 2022
@brc-dd
Copy link
Member Author

brc-dd commented Aug 5, 2022

A server.restart call won't be sufficient in this case. We need to somehow "auto recreate" the server on config change. 🤔

@brc-dd brc-dd linked a pull request Aug 6, 2022 that will close this issue
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jan 21, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
build Related to the build system enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant