Searched defs:is_number (Results 1 - 1 of 1) sorted by relevance
| /solaris-desktop/ext-sources/ | ||
| H A D | postrun | 109 is_number() { function 143 if is_number "$pid" && kill -0 "$pid" 2>/dev/null ; then 558 if ! is_number "$timeout"; then |
Completed in 12 milliseconds