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

Prepend hostname to default session id #62

Open
tribela opened this issue Jul 9, 2015 · 1 comment
Open

Prepend hostname to default session id #62

tribela opened this issue Jul 9, 2015 · 1 comment

Comments

@tribela
Copy link
Member

tribela commented Jul 9, 2015

Default session id is uuid.getnode() (ex: 161330964250).
But it is hard to matching what session is managed by the machine (of course, you can set session-id manually. but it is necessary)
But it can be give readablity when prepend hostname (ex: nagato-161330964250).

@dahlia
Copy link
Contributor

dahlia commented Jul 9, 2015

That would be useful! Agreed.
On Thu, Jul 9, 2015 at 11:43 AM Kang Jinwon [email protected]
wrote:

Default session id is uuid.getnode() (ex: 161330964250).
But it is hard to matching what session is managed by the machine (of
course, you can set session-id manually. but it is necessary)
But it can be give readablity when prepend hostname (ex:
nagato-161330964250).


Reply to this email directly or view it on GitHub
#62.

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

No branches or pull requests

2 participants