Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

consider a UUID for pool id #71

Open
emergent-reasons opened this issue Mar 29, 2019 · 2 comments
Open

consider a UUID for pool id #71

emergent-reasons opened this issue Mar 29, 2019 · 2 comments

Comments

@emergent-reasons
Copy link
Collaborator

A pool uuid would have these benefits:

  • remain internal as the num is now so it should not make anything harder for users
  • remove ambiguity when investigation a problem in the logs

Any downsides? It does not happen often and uuid creation is already fast/efficient.

@cculianu
Copy link

I can see this as only a win. Definitely makes it easier to track log files ... That corresponds to the "sessionID" in the client, correct?

@emergent-reasons
Copy link
Collaborator Author

emergent-reasons commented Mar 29, 2019

Not the sessionID. The sessionID is for a specific connection and is I think is shared around publicly but the pool number is never mentioned in normal messaging. Maybe not anywhere.

Moreover, I believe the sessionID is actually redundant - I think we are going to factor it out at some point.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants