mirror of
https://github.com/Ark0N/Codeman.git
synced 2026-10-09 08:59:40 +02:00
docs(tiles): each SSE doc comment sits above its own function
_sseFilterSessionId() and its doc comment landed between _updateSseSubscription()'s doc comment and that function, so two doc blocks sat back to back and _updateSseSubscription had none. Each block is now above its own function; the moved one's em dash became a colon. Comments only. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
This commit is contained in:
@@ -1476,13 +1476,6 @@ class CodemanApp {
|
|||||||
// SSE Connection
|
// SSE Connection
|
||||||
// ═══════════════════════════════════════════════════════════════
|
// ═══════════════════════════════════════════════════════════════
|
||||||
|
|
||||||
/**
|
|
||||||
* POST a live subscription update so the server filters terminal events
|
|
||||||
* to the given session(s) for this client. Fire-and-forget — failures
|
|
||||||
* are non-fatal because we'll still get every event we don't want
|
|
||||||
* (just at higher cost), and the next reconnect carries the filter via
|
|
||||||
* the SSE query string.
|
|
||||||
*/
|
|
||||||
/**
|
/**
|
||||||
* The session id the SSE filter names for `sessionId`: itself, or while the
|
* The session id the SSE filter names for `sessionId`: itself, or while the
|
||||||
* tile grid owns the terminal the grid's fixed filter (TILE_GRID_SSE_FILTER,
|
* tile grid owns the terminal the grid's fixed filter (TILE_GRID_SSE_FILTER,
|
||||||
@@ -1495,6 +1488,13 @@ class CodemanApp {
|
|||||||
return sessionId;
|
return sessionId;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* POST a live subscription update so the server filters terminal events
|
||||||
|
* to the given session(s) for this client. Fire-and-forget: failures
|
||||||
|
* are non-fatal because we'll still get every event we don't want
|
||||||
|
* (just at higher cost), and the next reconnect carries the filter via
|
||||||
|
* the SSE query string.
|
||||||
|
*/
|
||||||
_updateSseSubscription(sessionId) {
|
_updateSseSubscription(sessionId) {
|
||||||
try {
|
try {
|
||||||
const filterId = this._sseFilterSessionId(sessionId);
|
const filterId = this._sseFilterSessionId(sessionId);
|
||||||
|
|||||||
Reference in New Issue
Block a user