Esempio n. 1
0
 def _send_diff(self, s, mid, msg):
     diff = read_diff(self, msg['handle'], msg['changenum'], None)
     if diff is not None:
         self.socket[s][Flushed] = self._send_response(s, mid, {'diff': diff})
     else:
         self._send_error(s, mid, 'No such diff', close=False)
     return
Esempio n. 2
0
 def connection_flushed(self, s):
     queue = self.socket[s][Queue]
     socket = self.socket[s]
     socket[Flushed] = 1
     while len(queue) and socket[Flushed] == 1:
         mid, msg = queue.pop(0)
         diff = read_diff(self.co, msg['handle'], msg['changenum'], None)
         socket[Flushed] = self._send_response(s, mid, {'diff': diff})
Esempio n. 3
0
 def _send_diff(self, s, mid, msg):
     diff = read_diff(self, msg['handle'], msg['changenum'], None)
     if diff is not None:
         self.socket[s][Flushed] = self._send_response(
             s, mid, {'diff': diff})
     else:
         self._send_error(s, mid, 'No such diff', close=False)
     return
Esempio n. 4
0
 def _request_get_diff(self, s, mid, msg):
     if self.socket[s][Flushed] == 1:
         diff = read_diff(self.co, msg['handle'], msg['changenum'],
                          self.txn)
         self.socket[s][Flushed] = self._send_response(
             s, mid, {'diff': diff})
     else:
         self.socket[s][Queue].append((mid, msg))
Esempio n. 5
0
 def connection_flushed(self, s):
     queue = self.socket[s][Queue]
     socket = self.socket[s]
     socket[Flushed] = 1
     while len(queue) and socket[Flushed] == 1:
         mid, msg = queue.pop(0)
         diff = read_diff(self.co, msg['handle'], msg['changenum'], None)
         socket[Flushed] = self._send_response(s, mid, {'diff': diff})
Esempio n. 6
0
 def _request_get_diff(self, s, mid, msg):
     if self.socket[s][Flushed] == 1:
         diff = read_diff(self.co, msg['handle'], msg['changenum'], self.txn)
         self.socket[s][Flushed] = self._send_response(s, mid, {'diff': diff})
     else:
         self.socket[s][Queue].append((mid, msg))