Open YuanYuYuan opened 7 months ago
@Mallets @OlivierHecart do you mind leaving a comment? Thanks.
So the problem is that session can't be created because of session id duplication? Then the right behaviour should for zenoh::open
should be returning ZResult::Err
with proper error message I think. Of course panic deep inside is wrong, this should be fixed.
So I think variant (3) is right.
It seems that more than zenoh::open
should return a ZResult::Err
, it's gossip that should handle the case of duplicated ZenohId
.
In any case, I believe the session ID should be create inside zenoh::open
and not when calling Config::default()
.
In fact, Config::default()
should set the internal config value to None
instead of setting it to a specific value.
So the problem is that session can't be created because of session id duplication?
@milyin Nope. If you append a println!("DONE")
at the end of the file, you can observe the message before the panic. The error is rooted in the termination process.
Describe the bug
Users could easily make this mistake (?) that reuses the
Config
as below.The reason behind this is
Config
has a unique session id and cannot be reused to construct another session. We might need to considerTo reproduce
See above.
System info