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.

Sign up for GitHub

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

Jump to bottom

Fix #3838 #3902

Merged
merged 2 commits into from Mar 29, 2016
Merged

Fix #3838 #3902

merged 2 commits into from Mar 29, 2016

Conversation

tuslatom
Copy link
Contributor

@tuslatom tuslatom commented Mar 5, 2016

Parser was checking only spaces, not other whitespace characters and if I understand it correctly Character.isWhiteSpace() is not supported by GWT, but isSpace() is.

@xoppa
Copy link
Member

xoppa commented Mar 5, 2016

// Do not edit this file! Generated by Ragel.

@davebaol
Copy link
Member

davebaol commented Mar 5, 2016

@tuslatom
You should change JsonReader.rl and use Ragel like that to generate the new JsonReader.java.

@tuslatom
Copy link
Contributor Author

tuslatom commented Mar 6, 2016

thanks for the hint, I've changed .rl file and generated new java file

@NathanSweet NathanSweet merged commit 9a7edf7 into libgdx:master Mar 29, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@tuslatom @xoppa @davebaol @NathanSweet