Spaces:
Building
Building
Update session.py
Browse files- session.py +3 -3
session.py
CHANGED
@@ -47,7 +47,7 @@ class Session:
|
|
47 |
parameter_ask_rounds: int = 0
|
48 |
|
49 |
# Real-time support
|
50 |
-
|
51 |
|
52 |
# Transient data (not serialized to Redis)
|
53 |
_version_config: Optional[VersionConfig] = field(default=None, init=False, repr=False)
|
@@ -132,7 +132,7 @@ class Session:
|
|
132 |
'asked_parameters': self.asked_parameters,
|
133 |
'unanswered_parameters': self.unanswered_parameters,
|
134 |
'parameter_ask_rounds': self.parameter_ask_rounds,
|
135 |
-
'
|
136 |
}
|
137 |
return json.dumps(data, ensure_ascii=False)
|
138 |
|
@@ -281,7 +281,7 @@ class SessionStore:
|
|
281 |
with self._lock:
|
282 |
realtime_count = sum(
|
283 |
1 for s in self._sessions.values()
|
284 |
-
if s.
|
285 |
)
|
286 |
|
287 |
return {
|
|
|
47 |
parameter_ask_rounds: int = 0
|
48 |
|
49 |
# Real-time support
|
50 |
+
is_realtime: bool = False
|
51 |
|
52 |
# Transient data (not serialized to Redis)
|
53 |
_version_config: Optional[VersionConfig] = field(default=None, init=False, repr=False)
|
|
|
132 |
'asked_parameters': self.asked_parameters,
|
133 |
'unanswered_parameters': self.unanswered_parameters,
|
134 |
'parameter_ask_rounds': self.parameter_ask_rounds,
|
135 |
+
'is_realtime': self.is_realtime
|
136 |
}
|
137 |
return json.dumps(data, ensure_ascii=False)
|
138 |
|
|
|
281 |
with self._lock:
|
282 |
realtime_count = sum(
|
283 |
1 for s in self._sessions.values()
|
284 |
+
if s.is_realtime
|
285 |
)
|
286 |
|
287 |
return {
|