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

.ini file read error for Windows Visual Studio users #576

Closed
2 tasks
200km opened this issue Jan 19, 2024 · 0 comments · Fixed by #577
Closed
2 tasks

.ini file read error for Windows Visual Studio users #576

200km opened this issue Jan 19, 2024 · 0 comments · Fixed by #577
Labels
bug Something isn't working gui graphical user interface priority::high priorityg high

Comments

@200km
Copy link
Member

200km commented Jan 19, 2024

Details

Description

The following descriptions in the ini files cause problems for Windows Visual Studio users. In this case, the ini file reader cannot recognize the // as the comment delimiter, and the setting parameter is handled as STRING_VALUE // Comment, not STRING_VALUE.

string_parameter = STRING_VALUE // Comment

Windows users can fix this problem by changing the ini file without // Comment.

string_parameter = STRING_VALUE

or write a comment in another line

// Comment
string_parameter = STRING_VALUE

Conditions of occurrence

Windows Visual Studio users.

Additional information

  • The standard ini file specification uses the ; as the comment delimiter, not //.
  • However, the S2E defines the // as the comment delimiter in ini files.
  • The number with // Comment works for all users

Tasks

  • Fix codes to correctly handle the comment delimiter // in the Windows environment
  • Or discuss to change the specification of the comment delimiter definition.

Impact

Windows user only.

Supplementary notes

Related PRs and issues.
#575
#254
#549

Notes

  • Provide a conclusion before closing the issue.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working gui graphical user interface priority::high priorityg high
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

1 participant