+ issue #98: added configurable variable 'server_name' for server name in w3act.properties file.