diff options
| -rwxr-xr-x | utils/jenkins-jnlp-connect.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/jenkins-jnlp-connect.sh b/utils/jenkins-jnlp-connect.sh index e0c6ff2e0..ec31a4aa7 100755 --- a/utils/jenkins-jnlp-connect.sh +++ b/utils/jenkins-jnlp-connect.sh @@ -127,7 +127,7 @@ then echo "pid file found" fi fi -if [[ run_in_foreground == true ]]; then +if [[ $run_in_foreground == true ]]; then $connectionstring else exec $connectionstring & |