 Christian
|
fdf00f1b18
|
More options for disconnect (#1557)
* Expose more options in disconnect options.
* Expose more options in disconnect API.
* Refactor code.
* Expose user properties in disconnected event.
* Expose more disconnect options in server.
* Fix build errors
* Add new samples.
* Fix client cleanup
* Fix merge conflicts
|
2022-12-23 17:09:02 +01:00 |
|