[gama-platform/gama] 269973: [GS] use SO_REUSEADDR for no blocking port on quic...

1 view

Skip to first unread message

unread,

Feb 21, 2024, 11:53:53 AM2/21/24

to gama...@googlegroups.com

Branch: refs/heads/GAMA_1.9.3
Home: https://github.com/gama-platform/gama
Commit: 26997376c2d503fead295beb5ff56ccd09aef577
https://github.com/gama-platform/gama/commit/26997376c2d503fead295beb5ff56ccd09aef577
Author: hqnghi88 <hqng...@gmail.com>
Date: 2024-02-21 (Wed, 21 Feb 2024)

Changed paths:
M msi.gama.headless/src/msi/gama/headless/runtime/GamaHeadlessWebSocketServer.java

Log Message:
-----------
[GS] use SO_REUSEADDR for no blocking port on quick restart

To unsubscribe from these emails, change your notification settings at https://github.com/gama-platform/gama/settings/notifications

Reply all

Reply to author

Forward

0 new messages