Project

General

Profile

« Previous | Next » 

Revision 12979

lib/sh/util.sh: die(): always errexit even if $e = 0, because die always indicates an error

View differences:

trunk/lib/sh/util.sh
567 567
}
568 568

  
569 569
die() # usage: cmd || [type=...] die msg # msg can use $? but not $()
570
{ save_e; kw_params type; "log_${type:-err}" "$1"; rethrow; }
570
{ save_e; kw_params type; "log_${type:-err}" "$1"; rethrow!; }
571 571

  
572 572
die_e() # usage: cmd || [benign_error=1] die_e [|| handle error]
573 573
{

Also available in: Unified diff