Author jgehrcke
Recipients georg.brandl, jgehrcke
Date 2009-08-03.19:21:49
SpamBayes Score 1.04203e-07
Marked as misclassified No
Message-id <1249327311.32.0.926815032903.issue6634@psf.upfronthosting.co.za>
In-reply-to
Content
Hey there,

hopefully I fill out this form in an adequate way!

I ran into some problems while using sys.exit('msg') together with
threads, which could have been avoided with slightly more information in
the docs here: http://docs.python.org/library/sys.html#sys.exit 

Maybe the following two statements should not stay as they are:

(1) "Exit from Python."
-----------------------
This is not true when called from a thread other than the main one. We
could add a hint, saying that sys.exit() then actually behaves like
thread.exit(), which causes only the calling thread to exit, but not the
main program.

2) "[...] and any other object is printed to sys.stderr"
--------------------------------------------------------
This is also not true when called from a thread other than the main one.
Calling sys.exit('msg') then doesn't print anything to stderr. That was
annoying in my case and required debugging a bug that would have
discovered itself via stderr, if the message would have been printed..
:-) After some research, I think this behaviour is described in the
documentation for thread.exit(): "[...] this will cause the thread to
exit *silently*."


Okay, now that I am aware of this behaviour, I won't run into these
problems again. But the next one?

I think (1) is clearly a documentation thing. Regarding (2): first of
all, the documentation should say that the message is suppressed in
special cases (child threads). But: what argues against printing to
stderr here? I don't get the point and only see a lost feature,
affording a quick way to kill a thread while dropping an error message.
Was this kicked out intentionally? Maybe someone could help me with a
good argument here :-)


Thank you for your work,

Jan-Philip Gehrcke
History
Date User Action Args
2009-08-03 19:21:51jgehrckesetrecipients: + jgehrcke, georg.brandl
2009-08-03 19:21:51jgehrckesetmessageid: <1249327311.32.0.926815032903.issue6634@psf.upfronthosting.co.za>
2009-08-03 19:21:49jgehrckelinkissue6634 messages
2009-08-03 19:21:49jgehrckecreate