equal
deleted
inserted
replaced
75 fi |
75 fi |
76 |
76 |
77 echo "---------------------" |
77 echo "---------------------" |
78 echo "$KARMA start $@" |
78 echo "$KARMA start $@" |
79 "$KARMA" start $@ |
79 "$KARMA" start $@ |
80 # echo "Kill test server pid $TESTSERVER_PID" |
|
81 # echo "---------------------" |
|
82 # kill $TESTSERVER_PID |
|
83 |
80 |
|
81 read -p "Keep testserver (PID $TESTSERVER_PID) running ? (y/N)" -n 1 -r -t 5 |
|
82 echo # (optional) move to a new line |
|
83 |
|
84 if [[ $REPLY =~ ^[Yy]$ ]]; then |
|
85 exit 0 |
|
86 fi |
|
87 |
|
88 kill $TESTSERVER_PID |