# little "external" function that uses exit to quit
# (to demonstrate that exit in a function causes the shell
# script CALLING that function to be exited)
#
# (because this is meant to be used by another shell script,
# did not start it with the usual #!/bin/bash line)
#
# by: Sharon Tuttle
# last modified: 11-19-12

funct_that_exits()
{
    echo "funct_that_exits: I was called with arguments: $@"
    echo "funct_that_exits: I'm about to exit!"
    exit 42
}