Have [[++server_port]] report the port number #10852

Is a solution like this appropriate regarding your conventions?