diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-10-07 15:02:33 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-10-07 15:02:33 (EDT) |
| commit | 5393e50727c29bd29c4461019e2b426f701a88c5 (patch) | |
| tree | 3e074ffb7275681881fde20a1b1b3eeb9d42b27e /lib/profile.sh | |
| parent | 52f8fdf72b5967308771ec1021e565115474a88e (diff) | |
error(): Die by signal
Calling error() within a subshell will now kill the whole shell process.
More importantly, session_end() will now be called if we've started a
session.
Diffstat (limited to 'lib/profile.sh')
0 files changed, 0 insertions, 0 deletions