Skip to content

Commit

Permalink
another idea
Browse files Browse the repository at this point in the history
  • Loading branch information
msullivan committed Feb 28, 2024
1 parent 1fa31e4 commit e4b5ed2
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 3 deletions.
11 changes: 8 additions & 3 deletions edb/server/pgcon/pgcon.pyx
Original file line number Diff line number Diff line change
Expand Up @@ -699,7 +699,7 @@ cdef class PGConnection:
async def signal_sysevent(self, event, **kwargs):
if self.tenant.get_backend_runtime_params().has_create_database:
assert defines.EDGEDB_SYSTEM_DB in self.dbname
print("SIGNAL", event, self.tenant._signal_ctr)
# print("SIGNAL", event, self.tenant._signal_ctr)
event = json.dumps({
'event': event,
'server_id': self.server._server_id,
Expand All @@ -713,8 +713,12 @@ cdef class PGConnection:
{pg_ql(event)}
)
""".encode()

num = self.tenant._signals_received
await self.sql_execute(query)
print('DONE SIGNAL')
assert self.tenant._signals_received == num + 1, (
self.tenant._signals_received, num + 1, event)
# print('DONE SIGNAL')

async def sync(self):
if self.waiting_for_sync:
Expand Down Expand Up @@ -2892,8 +2896,9 @@ cdef class PGConnection:
event = event_data.get('event')

server_id = event_data.get('server_id')
print("GOT ", event, event_data.get('num'))
# print("GOT ", event, event_data.get('num'))
if server_id == self.server._server_id:
self.tenant._signals_received += 1
# We should only react to notifications sent
# by other edgedb servers. Reacting to events
# generated by this server must be implemented
Expand Down
1 change: 1 addition & 0 deletions edb/server/tenant.py
Original file line number Diff line number Diff line change
Expand Up @@ -130,6 +130,7 @@ def __init__(
):
self._pending_cache_changes = 0
self._signal_ctr = 0
self._signals_received = 0

self._cluster = cluster
self._tenant_id = self.get_backend_runtime_params().tenant_id
Expand Down

0 comments on commit e4b5ed2

Please sign in to comment.