debugging sonar

Author: robertpatrick

Jenkinsfile

@@ -164,8 +164,8 @@ pipeline {
                                        hostport=\$(echo ${WKTUI_PROXY} | sed -e 's,http://,,')
                                        host=\$(echo ${hostport} | awk '{split(\$0,a,":"); print a[1]}')
                                        port=\$(echo ${hostport} | awk '{split(\$0,a,":"); print a[2]}')
-                                       echo http.proxyHost=${host}                                   >> ${sonarscanner_config_file}
-                                       echo http.proxyPort=${port}                                   >> ${sonarscanner_config_file}
+                                       echo "http.proxyHost=${host}"                                 >> ${sonarscanner_config_file}
+                                       echo "http.proxyPort=${port}"                                 >> ${sonarscanner_config_file}
                                        echo "sonar.host.url=${SONAR_HOST_URL}"                       >> ${sonarscanner_config_file}
                                        echo "sonar.sourceEncoding=UTF-8"                             >> ${sonarscanner_config_file}
                                        echo "sonar.organization=${sonar_org}"                        >> ${sonarscanner_config_file}