Bugfixes. Added conversion of hostname into ip address in order to
hopefully fix WiNG problems due to nonstandard port. Rearranged debug
output. Added Request properties.