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

Profile names can't have spaces #62

Open
teejusb opened this issue Feb 4, 2023 · 0 comments
Open

Profile names can't have spaces #62

teejusb opened this issue Feb 4, 2023 · 0 comments

Comments

@teejusb
Copy link
Owner

teejusb commented Feb 4, 2023

When creating a profile with spaces, on next server restart the profile will fail to parse as it expects an exact number of space separated elements. This causes the profile to fail to load, and then the settings will get wiped when we attempt to next save the file.

We can migrate to a better representation for configuration (e.g. a JSON file) that does handle space separated strings as expected.

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

1 participant