Message260935
This seems like an appropriate enhancement. I notice that the serve_forever examples did not previously have server_close(). Was this an oversight or will the server_close in __exit__ just be a no-op? |
|
Date |
User |
Action |
Args |
2016-02-27 09:37:39 | terry.reedy | set | recipients:
+ terry.reedy, martin.panter, palaviv |
2016-02-27 09:37:39 | terry.reedy | set | messageid: <1456565859.13.0.371464062829.issue26404@psf.upfronthosting.co.za> |
2016-02-27 09:37:39 | terry.reedy | link | issue26404 messages |
2016-02-27 09:37:38 | terry.reedy | create | |
|