Skip to content

Conversation

@oldk1331
Copy link
Collaborator

I open this PR to track this bug from mail list: https://www.mail-archive.com/[email protected]/msg14593.html

I put the patch here for people to test, review and comment.

@hemmecke
Copy link
Collaborator

I am in favour of not restarting viewman.
I would however like if the user gets a message of what he can/should do to restart viewman manually.

@hebisch
Copy link
Collaborator

hebisch commented Jun 26, 2022 via email

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.

3 participants