execRunner should exec.

This avoids having a stray bash process that's not useful for anything.
2012-01-05 16:27:40 -06:00 · 2012-01-05 16:27:40 -06:00 · 1c84c7fca1
parent 0afdf8cd48
commit 1c84c7fca1
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -104,7 +104,7 @@ execRunner () {
    echo ""
  }

-  "$@"
+  exec "$@"
 }

 echoerr () {