equal
deleted
inserted
replaced
1807 self.socket.close() |
1807 self.socket.close() |
1808 |
1808 |
1809 def readline(self): |
1809 def readline(self): |
1810 idx = self.Buffer.find("\n") |
1810 idx = self.Buffer.find("\n") |
1811 while idx == -1: |
1811 while idx == -1: |
1812 self.Buffer += self.socket.recv(2048) |
1812 text = self.socket.recv(2048) |
|
1813 if text == "": |
|
1814 break |
|
1815 self.Buffer += text |
1813 idx = self.Buffer.find("\n") |
1816 idx = self.Buffer.find("\n") |
1814 if idx != -1: |
1817 if idx != -1: |
1815 line = self.Buffer[:idx+1] |
1818 line = self.Buffer[:idx+1] |
1816 self.Buffer = self.Buffer[idx+1:] |
1819 self.Buffer = self.Buffer[idx+1:] |
1817 if BMZ_DBG: |
1820 if BMZ_DBG: |