printf"starting %s [%s] using GDB in batch mode with options [%s] on [%s]\n""${SERVERNAME}""$WDS_BIN""$cfg_srvopts""${HOSTNAME}" | tee-a${ServerMsgLog}${ServerErrLog};
printf"starting %s [%s] using GDB in batch mode with options [%s] on [%s]\n""${SERVERNAME}""$WDS_BINABS""$cfg_srvopts""${HOSTNAME}" | tee-a${ServerMsgLog}${ServerErrLog};