Project

General

Profile

« Previous | Next » 

Revision 14909

lib/sh/util.sh: sig_e(): use new sig_num()

View differences:

trunk/lib/sh/util.sh
565 565

  
566 566
sig_num() { kill -l "$1"; } # usage: sig_num SIG__
567 567

  
568
sig_e() { echo $(( 128+$(kill -l "$1") )); } # usage: sig_e SIGINT, etc.
568
sig_e() { echo $(( 128+$(sig_num "$1") )); } # usage: sig_e SIG__
569 569

  
570 570
func_override catch__exceptions
571 571
catch() # supports SIG* as exception type

Also available in: Unified diff