Message234857
IMO, connection_lost() should never be called if connection_made() wasn't called. That's a breach of the API contract.
(at one point, I suggested a connection_failed() for that purpose, but it was shut down - it was in relationship to the idea of a reconnecting client, but can still be more broadly useful) |
|
Date |
User |
Action |
Args |
2015-01-27 22:41:16 | pitrou | set | recipients:
+ pitrou, gvanrossum, vstinner, yselivanov |
2015-01-27 22:41:16 | pitrou | set | messageid: <1422398476.1.0.327291922935.issue23333@psf.upfronthosting.co.za> |
2015-01-27 22:41:16 | pitrou | link | issue23333 messages |
2015-01-27 22:41:16 | pitrou | create | |
|