Overview
| Comment: | [server] always shutdown ProcessPoolExecutor before launching it |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk | server |
| Files: | files | file ages | folders |
| SHA3-256: |
4c1d92adc4a552702e5ad60e25f4a13e |
| User & Date: | olr on 2019-08-14 13:06:21 |
| Other Links: | manifest | tags |
Context
|
2019-08-14
| ||
| 14:04 | [fr] ajustements check-in: 6433234f4a user: olr tags: trunk, fr | |
| 13:06 | [server] always shutdown ProcessPoolExecutor before launching it check-in: 4c1d92adc4 user: olr tags: trunk, server | |
| 10:19 | [fr] ajustements check-in: 4d3729573f user: olr tags: trunk, fr | |
Changes
Modified grammalecte-server.py from [c3315b73a8] to [800ce882b1]. [diff]