Commit e2b2aee
authored
fix: clean up deleted spaces from ranking (#1058)
Previously deleted spaces were not properly handled in ranking, because
rankedSpaces kept those deleted spaces and they were filtered away
in SQL query meaning that we would receive less spaces than expected.
To avoid this we now always clean up old spaces so deleted spaces
get removed and in ranking we allow deleted spaces to show up, but this
will only happen for around 120s after space was deleted and otherwise
ranking will be still functional.1 parent d44c600 commit e2b2aee
2 files changed
+3
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
77 | 77 | | |
78 | 78 | | |
79 | 79 | | |
80 | | - | |
81 | | - | |
| 80 | + | |
82 | 81 | | |
83 | 82 | | |
84 | 83 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
24 | 24 | | |
25 | 25 | | |
26 | 26 | | |
27 | | - | |
| 27 | + | |
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
| |||
102 | 102 | | |
103 | 103 | | |
104 | 104 | | |
| 105 | + | |
105 | 106 | | |
106 | 107 | | |
107 | 108 | | |
| |||
0 commit comments