annotate tools/rtg/galaxy-rtg-wrapper.sh @ 1:8593828f91e7 default tip

Full galaxy wrapper
author diego
date Sat, 21 Apr 2012 21:36:15 -0400
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
1 #!/bin/sh
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
2
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
3 DIR="$( cd "$( dirname "$0" )" && pwd )"
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
4 source $DIR/rtg-galaxy.cfg
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
5
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
6 # Temporary storage for STDERR
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
7 TMP_STDERR=$(mktemp) || exit 1
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
8
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
9 #echo "$(date) START $@" >>~/galaxy-rtg-wrapper.log
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
10 # Run the program, send STDERR to temporary file
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
11 $rtg "$@" 2> $TMP_STDERR
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
12
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
13 #check program's exit code
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
14 if (( $? )); then
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
15 #echo "$(date) FAIL $@" >>~/galaxy-rtg-wrapper.log
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
16 #cat $TMP_STDERR >>~/galaxy-rtg-wrapper.log
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
17 #Program failed, send STDERR to real STDERR
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
18 cat $TMP_STDERR >&2
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
19 rm $TMP_STDERR
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
20 exit 1
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
21 fi
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
22 #echo "$(date) DONE $@" >>~/galaxy-rtg-wrapper.log
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
23
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
24 #Program succeeded, delete STDERR file
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
25 rm $TMP_STDERR
8593828f91e7 Full galaxy wrapper
diego
parents:
diff changeset
26 exit 0