diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2012-08-15 17:20:17 +0200 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2012-08-15 17:20:17 +0200 |
commit | fe584b59db1d4e59567787cddb1cd5bb57fa197e (patch) | |
tree | d215897961c175e40448402d2a5f28ecc356cbc3 | |
parent | 56daaa7bd4543d005aad0149547ebc951d086be3 (diff) |
Added pauses.
-rw-r--r-- | ot-tools-user.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ot-tools-user.sh b/ot-tools-user.sh index ca3bdbd..4564181 100644 --- a/ot-tools-user.sh +++ b/ot-tools-user.sh @@ -61,6 +61,7 @@ otstart() { echo "usage: otstart [all|algorithm|compound|dataset|feature|model|task|validation|4store]"; return 1;; esac + sleep 1 cd $DIR } @@ -118,6 +119,7 @@ otreload() { echo "usage: otreload [all|algorithm|compound|dataset|feature|model|task|validation|4store]"; return 1;; esac + sleep 1 } # kill unicorn @@ -162,6 +164,7 @@ otkill() { echo "usage: otkill [all|algorithm|compound|dataset|feature|model|task|validation|4store]"; return 1;; esac + sleep 1 } # get service uri |