[gama-platform/gama] c76d95: gamalistener some minorr cleanup

0 views
Skip to first unread message

HUYNH Quang-Nghi

unread,
May 10, 2022, 12:42:58 PM5/10/22
to gama...@googlegroups.com
Branch: refs/heads/GAMA_1.8.2
Home: https://github.com/gama-platform/gama
Commit: c76d955db68983b446b531703a20f9dcc8536126
https://github.com/gama-platform/gama/commit/c76d955db68983b446b531703a20f9dcc8536126
Author: hqnghi88 <hqng...@gmail.com>
Date: 2022-05-10 (Tue, 10 May 2022)

Changed paths:
M msi.gama.headless/src/msi/gama/headless/listener/GamaListener.java
M msi.gama.headless/src/msi/gama/headless/listener/GamaWebSocketServer.java

Log Message:
-----------
gamalistener some minorr cleanup


Reply all
Reply to author
Forward
0 new messages