- WGTNAME=$(echo $wgtfile | sed 's,.wgt$,,')
- SERVICE_PLATFORM=0
- SERVICE_USER=0
- APPLICATION_USER=0
+ # remove extension and the debug state
+ #export WGTNAME=$(echo $wgtfile | sed 's,.wgt$,,' | sed 's,-debug$,,' | sed 's,-coverage$,,' | sed 's,-test$,,')