Skip to content

Server enhancements - grammar segfault and helper titles. #5080

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

Closed
wants to merge 2 commits into from

Conversation

jboero
Copy link
Contributor

@jboero jboero commented Jan 22, 2024

I noticed the server example segfaults on a null context if the grammar can't be parsed. This is fixed.

I also added titles with helpful mouseover explanations in the UI to help people understand n_predict, top_k, etc:

image

@jboero
Copy link
Contributor Author

jboero commented Jan 22, 2024

Aaah smacked down by the dreaded trailing whitespace. Reviewbot must be a python coder.

Copy link
Member

@ggerganov ggerganov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice!

Should we change the deps.sh script to output raw string literals?

@jboero
Copy link
Contributor Author

jboero commented Jan 23, 2024 via email

@ggerganov
Copy link
Member

After rebasing and fixing the EditorConfig Checker we can merge

@jboero
Copy link
Contributor Author

jboero commented Jan 30, 2024

Thx. 👍
#5221

@mofosyne mofosyne added examples Review Complexity : Medium Generally require more time to grok but manageable by beginner to medium expertise level server help wanted Extra attention is needed labels May 14, 2024
@ggerganov
Copy link
Member

I think this PR is quite outdated - probably not relevant anymore?

@jboero
Copy link
Contributor Author

jboero commented May 17, 2024

Good question. I'll take another look but I think the segfault fix on no grammar is still important. Unless another PR fixed it.

@mofosyne
Copy link
Collaborator

Is this bug still present? Just chasing up older PRs to make sure it's not obsolete

@mofosyne mofosyne added the obsolete? Marker for potentially obsolete PR label May 25, 2024
@jboero
Copy link
Contributor Author

jboero commented May 28, 2024

@jboero jboero closed this May 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
examples help wanted Extra attention is needed obsolete? Marker for potentially obsolete PR Review Complexity : Medium Generally require more time to grok but manageable by beginner to medium expertise level server
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants