wp_check_numeric

one of the documented procedures in this installation of the ACS
Usage:
wp_check_numeric   num
What it does:
Verifies that $num is numeric; otherwise bails (someone is playing games with us).
Defined in: /web/philip/tcl/wp-defs.tcl

Source code:


    expr double($num)
    return $num


philg@mit.edu