-
Notifications
You must be signed in to change notification settings - Fork 214
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
Should print id of daemon that is processing the request #314
Comments
+1 for myself. I'd also vote for using shorter daemon IDs. UUIDs are too long to display. E.g. a random Base64 string of length 6 would encode 6 * 6 = 36 bits, which would be more than enough for our use case. WDYT, @gnodet ? |
Sounds good. Also, while at it, avoiding the use of
|
Yeah, that's one reason why the process id is better suited, IMHO. Another reason is that, even with a short daemon ID, you don't need to use |
But I'd rather avoid base64 and stick with hex. One of the reason is that it's used in the log file names and I'd rather avoid any possible problem with case sensitivity. |
OK, hex-encoded int would have 8 characters that sounds acceptable too. We'd have to abs() it so that it can't be negative. |
I've used the |
+1, |
Yesterday, the daemon seemed stuck while builing Quarkus (it was actually downloading artifacts from a very slow source).
Another daemon was present so it was not immediately obvious which one was affected (e.g. for
jstack
or for stopping/killing).I think it would come handy if the client would print the pid of the daemon that is processing the request.
PS: I could have probably pressed + to see what's going on but nevertheless I do think this would be helpful.
The text was updated successfully, but these errors were encountered: