Skip to content
Snippets Groups Projects
Commit 8db3a6c6 authored by BIGARET Sebastien's avatar BIGARET Sebastien
Browse files

Fixed: on the server side RMIComm.Facade#connected() was not called

As a result, the disconnect() counterpart was always ignored, which
prevented a client that has been previously brutally disconnected (no
notifiction to the server) to be unable to reconnect anymore, until
the server was restarted!
parent 25b56627
No related branches found
No related tags found
No related merge requests found
Pipeline #60 failed