tiennm99/serena
1
0 Fork 0
mirror of https://github.com/tiennm99/serena.git synced 2026-10-15 06:16:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix type of news id (must use int, not string)

Browse Source
This commit is contained in:
Dominik Jain authored and Dominik Jain committed 2026-03-30 19:47:46 +02:00
1 parent da2f4d2fdb
commit 01f475ffc3
1 file changed
+2 -2
Download Patch File Download Diff File Expand all files Collapse all files
src/serena/dashboard.py
+2 -2
View File
@@ -368,8 +368,8 @@ class SerenaDashboardAPI:
return post_installation_news_ids
with open(news_snippet_id_file, encoding="utf-8") as f:
last_read_news_id = int(f.read().strip())
if last_read_news_id == "20262103":
last_read_news_id = "20260321" # fix originally misnamed file
if last_read_news_id == 20262103:
last_read_news_id = 20260321 # fix originally misnamed file
return [news_id for news_id in post_installation_news_ids if news_id > last_read_news_id]
try: