Skip to content

[app-server] add fuzzyFileSearch/sessionCompleted#11773

Merged
nornagon-openai merged 2 commits intomainfrom
nornagon/fuzzy-session-complete
Feb 13, 2026
Merged

[app-server] add fuzzyFileSearch/sessionCompleted#11773
nornagon-openai merged 2 commits intomainfrom
nornagon/fuzzy-session-complete

Conversation

@nornagon-openai
Copy link
Collaborator

this is to allow the client to know when to stop showing a spinner.

Copy link
Contributor

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

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

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 11017c879c

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +764 to +765
pub struct FuzzyFileSearchSessionCompletedNotification {
pub session_id: String,
Copy link
Contributor

Choose a reason for hiding this comment

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

P1 Badge Include query in sessionCompleted payload

fuzzyFileSearch/sessionCompleted currently exposes only sessionId, but completions are emitted per-session over time (initial crawl plus subsequent query runs in app-server/src/fuzzy_file_search.rs), so clients cannot disambiguate which query actually finished when notifications are buffered or arrive after a newer update call. In that common rapid-typing path, a stale completion can incorrectly stop the spinner for the current query; sessionUpdated already includes query, and the README text for this event also documents a query field.

Useful? React with 👍 / 👎.

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

will address this in a followup, for now i don't feel it's too important.

Copy link
Collaborator

@dylan-hurd-oai dylan-hurd-oai left a comment

Choose a reason for hiding this comment

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

LGTM!

@nornagon-openai nornagon-openai merged commit e4f8263 into main Feb 13, 2026
33 checks passed
@nornagon-openai nornagon-openai deleted the nornagon/fuzzy-session-complete branch February 13, 2026 23:08
@github-actions github-actions bot locked and limited conversation to collaborators Feb 13, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants