diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2012-08-22 12:45:05 +0200 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2012-08-22 12:45:05 +0200 |
commit | 6836bf2462ab5c5453db2803980bd2ea9d472bce (patch) | |
tree | 7712af5668ace5a88a0a9e0d636b7414b650da77 | |
parent | 50e0f7ff1020a343c632c15cedf332af21b54041 (diff) |
Typo.
-rw-r--r-- | ot-tools-user.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ot-tools-user.sh b/ot-tools-user.sh index d428b0c..53dfa7e 100644 --- a/ot-tools-user.sh +++ b/ot-tools-user.sh @@ -55,7 +55,7 @@ otstart() { "task") start_unicorn $1 8086;; "validation") #start_unicorn $1 8087;; echo "$1 not available yet.";; - "4store") start_4s opentox 9088;; + "4store") start_4s opentox 9088; if ! pgrep -u $USER 4s-backend>/dev/null 2>&1; then echo "Failed to start 4s-backend."; fi if ! pgrep -u $USER 4s-httpd>/dev/null 2>&1; then echo "Failed to start 4s-httpd."; fi;; "all") otstart 4store; |