Re: wait unblocks before signals processed

2012-11-16 Thread Chet Ramey
On 11/6/12 4:21 PM, Elliott Forney wrote:
> Thanks!  If you run the sample script below you will see that the
> development branch of bash occasionally crashes with an Aborted..
> message too.
> 
> Do you have an opinion on having a variant of wait, say "wait -", that
> will simply wait for any job to complete and return it's exit status?

This turns out to be trickier than I first thought, because there's very
little shell infrastructure to help do it.  It will be a while before I
design and implement a solution.

Chet
-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRUc...@case.eduhttp://cnswww.cns.cwru.edu/~chet/



fd leak with {fd}>

2012-11-16 Thread Sam Liddicott
Repeated executions of: { echo $fd ; } {fd}> /dev/null
will emit different numbers, indicating that fd is not closed when the
block completes.


As an interesting aside it seems not to be possible to close the FD within
the block either:

{ echo $fd ; eval exec "$fd>&-" ; } {fd}> /dev/null


★ Read your message before it gets deleted!

2012-11-16 Thread Badoo
Read the message that Bruce left for you before it gets deleted!

To read your message, follow this link:
http://eu1.badoo.com/tortoise74/in/FV7DRS.LVpQ/?lang_id=3&m=65&mid=50a6ba57000300b7275703a0ed6d01aa



If clicking the links in this message does not work, copy and paste them into 
the address bar of your browser.

This email is part of our delivery procedure for the message sent by Bruce. If 
you have received this email by mistake, please ignore it. The message will be 
deleted soon.

Have fun!
The Badoo Team

You have received this email from Badoo Trading Limited (postal address below).
http://eu1.badoo.com/impersonation.phtml?lang_id=3&email=bug-bash%40gnu.org&block_code=487c36&m=65&mid=50a6ba57000300b7275703a0ed6d01aa
Badoo Trading Limited is a limited company registered in England and Wales
under CRN 7540255 with its registered office at Media Village, 131 - 151 Great 
Titchfield Street, London, W1W 5BB.