Skip to content

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 Needs help from the community 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 Needs help from the community 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