Also, perhaps BASH_SUBSHELL should be a readonly like BASHPID is.

- M.

Reply via email to