commit 80bbeac13d8f72e18774e392ad2201b58168d701
author Adam Sadovsky <sadovsky@google.com> Fri Aug 15 14:57:35 2014 -0700
committer Adam Sadovsky <sadovsky@google.com> Fri Aug 15 14:57:35 2014 -0700
tree 2c359f296524524d67f9ef1a1daff06ab020e55e
parent 969ff4ee84b55b499a757ff861214d2f05a2cddd

veyron/examples/{mdb,todos}/run.sh: better at_exit cleanup

Change-Id: I3786934249f6783396b11923fef924979b342416

examples/mdb/run.sh

diff --git a/examples/mdb/run.sh b/examples/mdb/run.sh
index 9f79996..4265ec2 100755
--- a/examples/mdb/run.sh
+++ b/examples/mdb/run.sh
@@ -2,15 +2,15 @@
 
 source "${VEYRON_ROOT}/environment/scripts/lib/shell.sh"
 
-trap onexit INT TERM EXIT
+trap at_exit INT TERM EXIT
 
 readonly REPO_ROOT=$(git rev-parse --show-toplevel)
 readonly ID_FILE=$(shell::tmp_file)
 readonly DB_DIR=$(shell::tmp_dir)
 
-onexit() {
+at_exit() {
   exec 2>/dev/null
-  rm -rf "${ID_FILE}" "${DB_DIR}"
+  shell::at_exit  # deletes ID_FILE and DB_DIR
   kill -9 $(jobs -p) || true
 }
 

examples/todos/run.sh

diff --git a/examples/todos/run.sh b/examples/todos/run.sh
index 4ff51b4..eb2cd0e 100755
--- a/examples/todos/run.sh
+++ b/examples/todos/run.sh
@@ -2,15 +2,15 @@
 
 source "${VEYRON_ROOT}/environment/scripts/lib/shell.sh"
 
-trap onexit INT TERM EXIT
+trap at_exit INT TERM EXIT
 
 readonly REPO_ROOT=$(git rev-parse --show-toplevel)
 readonly ID_FILE=$(shell::tmp_file)
 readonly DB_DIR=$(shell::tmp_dir)
 
-onexit() {
+at_exit() {
   exec 2>/dev/null
-  rm -rf "${ID_FILE}" "${DB_DIR}"
+  shell::at_exit  # deletes ID_FILE and DB_DIR
   kill -9 $(jobs -p) || true
 }