equal
deleted
inserted
replaced
100 echo "$KARMA start $@" |
100 echo "$KARMA start $@" |
101 "$KARMA" start $@ |
101 "$KARMA" start $@ |
102 |
102 |
103 |
103 |
104 if [ -z "$TESTSERVER_STARTED" ]; then |
104 if [ -z "$TESTSERVER_STARTED" ]; then |
105 read -p "Keep testserver (PID $TESTSERVER_PID) running ? (y/N)" -n 1 -r -t 5 |
105 read -p "Keep testserver (PID $TESTSERVER_PID) running? (y/N) " -n 1 -r -t 5 |
106 echo # (optional) move to a new line |
106 echo # (optional) move to a new line |
107 |
107 |
108 if [[ $REPLY =~ ^[Yy]$ ]]; then |
108 if [[ $REPLY =~ ^[Yy]$ ]]; then |
109 exit 0 |
109 exit 0 |
110 fi |
110 fi |