Message249552
> Let's not extend the API with support for multiple ports. Nobody has asked for it, and clearly the API design is not so simple.
Ok. Anyway, the user of the API call call create_server() multiple times, even with the current code. So it's fine. |
|
Date |
User |
Action |
Args |
2015-09-02 14:41:03 | vstinner | set | recipients:
+ vstinner, gvanrossum, yselivanov, sebastien.bourdeauducq, ysionneau |
2015-09-02 14:41:03 | vstinner | set | messageid: <1441204863.03.0.965316834619.issue23630@psf.upfronthosting.co.za> |
2015-09-02 14:41:03 | vstinner | link | issue23630 messages |
2015-09-02 14:41:02 | vstinner | create | |
|