Remove ON_EXIT.

This commit is contained in:
Daniel Nichter
2011-12-07 10:48:47 -07:00
parent 578896c217
commit c486bf8461
2 changed files with 1 additions and 12 deletions

View File

@@ -29,9 +29,6 @@ set -u
# Arguments:
# file - File to write PID to.
# pid - PID to write into file.
#
# Required Global Variables:
# ON_EXIT - String to append "remove_pid_file file".
make_pid_file() {
local file=$1
local pid=$2
@@ -60,7 +57,6 @@ make_pid_file() {
# PID file doesn't exist, or it does but its pid is stale.
echo "$pid" > $file
ON_EXIT="$ON_EXIT; remove_pid_file $file"
}
remove_pid_file() {