diff gengetopt.in @ 22:a450c8545f41

Put a default (good enough for current use in .gold.ac.uk) service location in the web services header. Port number (20703) is the low 16 bits of #36rAUDIODB (if that's not mnemonic, nothing is!)
author mas01cr
date Thu, 16 Aug 2007 09:49:35 +0000
parents 0c5884204732
children 128f065fd250
line wrap: on
line diff